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

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 UTC