[Bug 7529] [XQuery] General comparison argument conversion with xs:untypedAtomic and xs:NOTATION

http://www.w3.org/Bugs/Public/show_bug.cgi?id=7529





--- Comment #4 from Oliver Hallam <oliver@cbcl.co.uk>  2009-10-20 17:01:08 ---
This XPST0800 error is a static error, and I believe only applies to
cast/castable expressions.


It is defined as (http://www.w3.org/TR/xpath20/#ERRXPST0080) as:

It is a static error if the target type of a cast or castable expression is
xs:NOTATION or xs:anyAtomicType.


F&O (1.1) 18.1.1 states:

Casting is permitted from xs:string literals to xs:QName and types derived from
xs:NOTATION. If the argument to such a cast is computed dynamically,
[err:XPTY0004]XP is raised if the value is of any type other than xs:QName or
xs:NOTATION (including the case where it is an xs:string). The process is
described in more detail in 17.2 Constructor Functions for xs:QName and
xs:NOTATION.

So I now think XPTY0004 is the right error.

It is not clear from the text that the paragraph in 18.1 only applies to cast
and castable as expressions.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 20 October 2009 17:01:13 UTC