[F&O] XSCH-FO-008 Casting and constructor fidelity

Dear Colleagues,

This comment pertains to the 25 December 2003 internal WD of XQuery 1.0
and XPath 2.0 Functions and Operators, as provided to our WG [1].

[1] 
http://lists.w3.org/Archives/Member/w3c-xml-schema-wg/2004Feb/0000.html

Xan Gregg, on behalf of the XML Schema Working Group
----------------------------------------------------

XSCH-FO-008 Casting and constructor fidelity (5.1, 17.6)

We are confused regarding the definitions of casting and construction
and how they appeal to each other and to XML Schema.  Accordingly, we
have the following largely-editorial suggestions:

1) add more detail about the raising of errors during construction. The
only error indication we see is:

      If the value passed to a constructor is illegal for the
      datatype to be constructed, an error is raised [invalid
      value for constructor].

It's not clear to us if this also applies if the value is a string,
which is otherwise discussed in the paragraph following the cited
statement.

2) in 5.1 and elsewhere where schema validation is appealed to, it
should be clear that the result is a value in the value space
corresponding to  the input lexical form.

3) in 17.6 "validated as a lexical value of the target type" should be
brought better into line with 5.1 and Schema Datatypes ("lexical form"
preferred and consistent whitespace handling suggested).

4) 17.6 and 17.8 appear to both handle casting from string to float.
Does one take precedence or is one meant to be redundant?

Received on Sunday, 15 February 2004 10:20:42 UTC