This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 2483 - type constraints too strict, might be wrong ?
Summary: type constraints too strict, might be wrong ?
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Full Text 1.0 (show other bugs)
Version: Working drafts
Hardware: Macintosh All
: P2 normal
Target Milestone: ---
Assignee: Mary Holstege
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-11-08 17:03 UTC by Daniela Florescu
Modified: 2006-08-16 17:53 UTC (History)
0 users

See Also:


Attachments

Description Daniela Florescu 2005-11-08 17:03:32 UTC
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 | ("{" Expr "}")) FTAnyallOption?

The right-hand side of the above production must evaluate to a sequence of string values or nodes of 
type "xs:string". 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 "xs:string*", an error is 
raised: [err:XPTY0004]XP.

We have to check all such constraints to see if this is the intended meaning.
Comment 1 Mary Holstege 2006-03-31 22:45:01 UTC
We agreed to simplify the production for FTWords to 
(Literal | ("{" Expr "}") FTAnyallOption?

A detailed review and proposal wrt other cases is
at http://lists.w3.org/Archives/Member/member-query-fttf/2006Jan/0044.html
Comment 2 Jim Melton 2006-05-26 00:00:39 UTC
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.