- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 22 Jan 2008 13:06:21 +0000
- To: public-qt-comments@w3.org
- CC:
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 UTC