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

[Bug 4084] Static typing of Constr-cont-nodeid-1, -3, -4 and -5

From: <bugzilla@wiggum.w3.org>
Date: Fri, 14 Sep 2007 12:49:36 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1IWAc4-00068f-BL@wiggum.w3.org>

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


tim@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #4 from tim@cbcl.co.uk  2007-09-14 12:49 -------
Constr-compelem-nodeid-5 is not fixed.

Believe it or not.  The type of $x is an untyped element.  Untyped elements may
contain more than one text node (even though the one in question doesn't).

The standard static typing rules don't allow us to refine this type.
Received on Friday, 14 September 2007 12:49:40 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 19:59:37 UTC