[Bug 3235] Acyclicity of union type definitions

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


cmsmcq@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsAgreement              |needsDrafting




------- Comment #2 from cmsmcq@w3.org  2007-10-26 22:21 -------
The WG discussed this issue (and in particular the alignment of Structures and
Datatypes) at its call of 26 October 2007.  We concluded that the goal of the
earlier alignment work was not to make the relevant sections of Structures and
Datatypes effectively identical, but only to ensure that material appearing 
in both specs should be the same in both.  This includes the tableaux and some
textual descriptions.  The goal had not been (we believe) to require that every
constraint in these sections of Structures also appear in Datatypes, and vice
versa -- only the ones that 'belong' in the particular spec.  (The notion of
belonging is of course slightly fuzzy.)

The WG instructed the editors to compare the relevant parts of the two specs
and make recommendations for duplicating or moving text as appropriate.

With regard to the particular issue raised here, the WG instructed the editors
to prepare a wording proposal to capture, in Datatypes, the constraint that
no union be a member of its own transitive membership.  So the status of 
this bug is changed from needsAgreement to needsDrafting.

Received on Friday, 26 October 2007 22:21:14 UTC