(IBM-FO-043): Section 17 (Casting), paragraph 3 says "If an empty sequence
is passed to a cast expression, an error is raised [invalid value for
cast]." This is not correct. The XQuery syntax provides a way for the user
to specify whether empty sequences are acceptable in a path expression.
This feature was first added to the XQuery language document in the Nov.
15, 2002 version, after discussions at the Query Working Group meeting at
Chapel Hill, NC. The feature is described in the XQuery language document,
Section 3.12.3 (Cast) as follows:
If the result of atomization is an empty sequence:
(a) If ? is specified after the target type, the result of the cast
expression is an empty sequence.
(b) If ? is not specified after the target type, a type error is raised.
[XQ0004] [XP0006]
This part of the F&O document should be made consistent with the language
document.
--Don Chamberlin