for the record, my Winged Horse message was misleading

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Norm was right, I was wrong.

You can _only_ write element(*,my:hat-size) if you have a schema which
declares my:hat-size in the static context.

What the Winged Horse allows is that _if_ you write
element(*,xs:integer) and an _instance_ arrives with an element whose
type is my:hat-size, then you can declare a match if you have
implementation-dependent (Winged Horse) access to type derivation
information which reveals that my:hat-size is derived from xs:integer.

ht
- -- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
                         Half-time member of W3C Team
      10 Crichton Street, Edinburgh EH8 9AB, 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)

iD8DBQFIbPPikjnJixAXWBoRAmPZAJ4+Bob0WSARxoK/IsNV2kBvwfMScACfZiaQ
G6a8yUV7pcf8i9oiEFFGx/E=
=hixh
-----END PGP SIGNATURE-----

Received on Thursday, 3 July 2008 15:45:10 UTC