W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2007

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

From: <bugzilla@wiggum.w3.org>
Date: Sun, 21 Oct 2007 23:15:30 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1Ijk14-0003nb-At@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273





------- 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:20 UTC