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 18:02:02 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JHNRi-0008OQ-Vk@wiggum.w3.org>

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





------- Comment #3 from jmdyck@ibiblio.org  2008-01-22 18:02 -------
(In reply to comment #2)
> I think "ElementType" isn't actually an ElementType, it was just an
> unfortunately chosen name.

That could be, though I somewhat doubt it.

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

But then:
1) It incorrectly allows multiple elements in the document content.
2) It doesn't allow processing-instructions or comments.
3) Given a binding for Type_Element that satisfies the rule, there are
(infinitely?) many supertypes of it (and possibly some subtypes of it) that
also satisfy the rule, and that lead to different types for the validate
expression.
Received on Tuesday, 22 January 2008 18:02:15 GMT

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