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: Fri, 18 Jan 2008 06:54:31 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JFl7X-0003sj-JE@wiggum.w3.org>

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 GMT

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