<?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>2483</bug_id>
          
          <creation_ts>2005-11-08 17:03:32 +0000</creation_ts>
          <short_desc>type constraints too strict, might be wrong ?</short_desc>
          <delta_ts>2006-08-16 17:53:13 +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>Full Text 1.0</component>
          <version>Working drafts</version>
          <rep_platform>Macintosh</rep_platform>
          <op_sys>All</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="Daniela Florescu">dflorescu</reporter>
          <assigned_to name="Mary Holstege">holstege</assigned_to>
          
          
          <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>7094</commentid>
    <comment_count>0</comment_count>
    <who name="Daniela Florescu">dflorescu</who>
    <bug_when>2005-11-08 17:03:32 +0000</bug_when>
    <thetext>Several times in the document we use constraints on the type 
of the result of the evaluation of various XQuery expressions,
 i.e. they are requested to be of type xs:string or
nodes of type xs:string.

This seems to be inconsistent with the desired semantics,
and would make errors cases that seem reasonable
(e.g. cases of untyped data).


An example of this occurence is in FTWords.


   ::=   	(Literal | VarRef | ContextItemExpr | FunctionCall | (&quot;{&quot; Expr &quot;}&quot;)) FTAnyallOption?

The right-hand side of the above production must evaluate to a sequence of string values or nodes of 
type &quot;xs:string&quot;. The result is then atomized into a sequence of strings which is tokenized into a 
sequence of words and phrases. If the atomized sequence is not a subtype of &quot;xs:string*&quot;, an error is 
raised: [err:XPTY0004]XP.

We have to check all such constraints to see if this is the intended meaning.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>8996</commentid>
    <comment_count>1</comment_count>
    <who name="Mary Holstege">holstege</who>
    <bug_when>2006-03-31 22:45:01 +0000</bug_when>
    <thetext>We agreed to simplify the production for FTWords to 
(Literal | (&quot;{&quot; Expr &quot;}&quot;) FTAnyallOption?

A detailed review and proposal wrt other cases is
at http://lists.w3.org/Archives/Member/member-query-fttf/2006Jan/0044.html</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>9899</commentid>
    <comment_count>2</comment_count>
    <who name="Jim Melton">jim.melton</who>
    <bug_when>2006-05-26 00:00:39 +0000</bug_when>
    <thetext>Thank you for your comment.  The Task Force has resolved this bug by taking the action specified in http://www.w3.org/Bugs/Public/show_bug.cgi?id=2483#c1

We have marked this bug FIXED.  If you agree with the resolution, please mark the bug CLOSED; if you do not agree, then please enter another comment on this bug.  If you do not do either of those actions by 2006-06-08, we will mark it CLOSED under the presumption that you agree with the resolution. </thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>