- From: Henry S. Thompson <ht@inf.ed.ac.uk>
- Date: Fri, 17 Nov 2006 10:00:28 +0000
- To: Sandy Gao <sandygao@ca.ibm.com>
- Cc: "Michael Kay" <mike@saxonica.com>, xmlschema-dev@w3.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I prefer option (3), allow it. We allow vacuous redefinition of
anyType, why not of anySimpleType?
Note further that in 1.1, 3.15.1 has already changed to allow for
anyAtomicType. . .
I think we just add to that paragraph, along the lines of
Non-restricting derivations from anySimpleType and anyAtomic type
are also allowed, that is, derivations involving no facets.
and add a parallel exception to the para. Michael pointed to
originally, allowing for variety to be absent in cases of vacuous
restriction of anySimpleType.
ht
- --
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
Half-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)
iD8DBQFFXYg8kjnJixAXWBoRAg8hAJ9Pv0adO9KYY4Oaj+emJQ4uSUvu4gCeIxx4
0qFUJhKZbKb++EVmRmuDDN0=
=gpb7
-----END PGP SIGNATURE-----
Received on Friday, 17 November 2006 10:00:53 UTC