- From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
- Date: 26 Apr 2001 08:39:50 +0100
- To: Noah_Mendelsohn@lotus.com
- Cc: "C. M. Sperberg-McQueen" <cmsmcq@acm.org>, cbf@isovia.com, www-xml-schema-comments@w3.org
Noah_Mendelsohn@lotus.com writes:
> Also, and I confess I don't have the time right now to verify that
> you are correct, is it indeed true that xsi:type can override the
> normal precedence in a union? I had presumed that, apparently
> incorrectly, the value space of the union {integer, string} included
> the abstract integer values, and all strings except those such as
> "123" that correspond to legal lexical forms of integer. You are
> implying that:
>
> <E xsi:type="xsd:string">123</E>
>
> is accepted and results in the value "123" being in the value space of the
> union. Is this really true?
Yes, otherwise the xsi:type would never have any effect (except to
cause an error in e.g. the above example).
Here's the relevant prose:
"[Definition:] Union datatypes are those whose ·value space·s and
·lexical space·s are the union of the ·value space·s and ·lexical
space·s of one or more other datatypes."
ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
W3C Fellow 1999--2001, part-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
Received on Thursday, 26 April 2001 03:40:29 UTC