W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2008

[Bug 5254] [FS] Validate has inconsistent static and dynamic types

From: <bugzilla@wiggum.w3.org>
Date: Tue, 22 Jan 2008 13:06:21 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JHIpZ-0001Ln-KD@wiggum.w3.org>

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





------- Comment #2 from nick@cbcl.co.uk  2008-01-22 13:06 -------
> 3. Requiring Type <: document { ElementType } is too restrictive, because
>    ElementType cannot be bound to a type involving
>    (a) processing-instruction or comment types, or
>    (b) a union of element types.
> 
I think "ElementType" isn't actually an ElementType, it was just an
unfortunately chosen name. If it is changed to "Type_Element" or something then
I think the rule is valid.

The prime(Type_Element) = ElementType1 | .... | ElementTypen should cover the
union case.
Received on Tuesday, 22 January 2008 13:06:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:49 GMT