W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2009

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

From: <bugzilla@wiggum.w3.org>
Date: Tue, 20 Oct 2009 17:01:08 +0000
To: public-qt-comments@w3.org
Message-Id: <E1N0I56-0006Qt-UM@wiggum.w3.org>

--- 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

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:28 UTC