<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>9056</bug_id>
          
          <creation_ts>2010-02-17 21:42:31 +0000</creation_ts>
          <short_desc>[F+O 1.1] Variant return types no longer indicated</short_desc>
          <delta_ts>2011-06-08 11:44:16 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>Functions and Operators 3.0</component>
          <version>Working drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows NT</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Michael Kay">mike</reporter>
          <assigned_to name="Michael Kay">mike</assigned_to>
          <cc>jim.melton</cc>
          
          <qa_contact name="Mailing list for public feedback on specs from XSL and XML Query WGs">public-qt-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>32288</commentid>
    <comment_count>0</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2010-02-17 21:42:31 +0000</bug_when>
    <thetext>In the 1.0/2.0 version of F+O, section 1.4, it is stated:

&quot;In some cases, the static type returned by a function depends on the type(s) of its argument(s). These special functions are indicated by using bold italics for the return type.&quot;

This sentence remains in the current draft of 1.1, but the convention is no longer used, and the markup used to control it has disappeared from the source as an accident of the editorial conversions applied. 

It would be fairly easy to reinstate this, however:

(a) the information is no longer relevant if we are dropping the formal semantics, and

(b) in any case, it violates editorial guidelines to have information in the published specification that is conveyed only by the choice of font.

Subject to the approval of the WG, the editor therefore proposes to drop this feature:

(i) the above-quoted sentence will be removed

(ii) all references to functions having special static type inferencing rules defined in the formal semantics will be removed. (These generally take the form &quot;For detailed type semantics, see...&quot;)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>35332</commentid>
    <comment_count>1</comment_count>
    <who name="Jim Melton">jim.melton</who>
    <bug_when>2010-04-30 21:46:53 +0000</bug_when>
    <thetext>The proposal incorporate into the comment was approved by the WGs in their meeting of 2010-03-23, as reflected in the Members-only minutes archived at http://lists.w3.org/Archives/Member/w3c-xsl-query/2010Mar/0164.html</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>