=2D----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Michael Kay writes:

> Xerces reports this invalid, but Saxon, XSV, MSXML, and the .NET parser a=
ll
> report it valid.
>
> So it may be a Xerces problem.
>
> (Saxon's evidence in this case isn't particularly reliable, because it us=
es
> a different algorithm for determining whether one type is a valid
> restriction of another, an algorithm which is closer to the intent of the
> spec than the published rules. This might also apply to XSV, I'm not sure=
.)

Indeed XSV uses a simplified rule, which is closer to the _intent_,
although not the letter, of the spec.  I _hope_ version 1.1 of W3C XML
Schema will shift to the simplified rule.

I agree that the fact that the constructive rules of 1.0 rule this
case out is perverse.

ht
=2D -- 
 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@i...
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged sp=
am]
=2D----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD4DBQFD8aUFkjnJixAXWBoRApMRAJj7kruAxAr9alC/pw4DSOGGPUdNAJ96rsyD
1i2Emk2q5QATsqp8nOIdVg==
=dQdn
=2D----END PGP SIGNATURE-----

From mike@s... Tue Feb 14 09:38:59 2006
Received: from lisa.w3.org ([12