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

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