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

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Comment #1 from jmdyck@ibiblio.org  2008-01-18 06:54 -------
I agree that there's a problem, and I agree with your approach to a solution.
However, the original rule has some additional bugs that also need to be fixed:

1. The type 'element' should be 'element *'. (See Bug 3269.)

2. The earlier and later occurrences of ElementTypei should be distinct.

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.

Points 1, 2, and 3a are all easy to fix, but I'm not sure what to do about 3b.

Received on Friday, 18 January 2008 06:54:38 UTC