- From: <bugzilla@jessica.w3.org>
- Date: Fri, 02 Oct 2015 15:08:26 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29173
Michael Kay <mike@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike@saxonica.com
--- Comment #1 from Michael Kay <mike@saxonica.com> ---
Rationale on this: the xs:error function is defined to be equivalent to casting
to a union type with no member types. This takes you to 19.3 (casting to union
types), which takes you to 19.2.2. This defines the cast in terms of
validation. Validation fails, because the value space is empty. Except where
otherwise specified, validation failures result in FORG0001.
The significance of this is that calling xs:error() produces a dynamic error
rather than a type error, which makes it safe to use for deliberate signalling
of a dynamic error in a branch of a conditional. Indeed F+O section 18.4
explicitly says that casting to xs:error will always fail with a *dynamic*
error.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 2 October 2015 15:08:29 UTC