[Bug 4273] [FS] data on element()


------- Comment #8 from mike@saxonica.com  2007-10-21 23:15 -------
I'm wondering whether there is a problem here with the dynamic semantics as
well as the static semantics.

It seems that a value S of type element(*, xs:string) is not substitutable for
a value A of type element(*, xs:anyType) even though the latter type subsumes
the former, because A can be used as an operand of an arithmetic expression and
S can't. This seems to be broken at a fairly deep level, and I can't quite see
how Tim's proposal is supposed to fix it. 

Received on Sunday, 21 October 2007 23:15:41 UTC