W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > July to September 2007

[Bug 3244] Sets of lists

From: <bugzilla@wiggum.w3.org>
Date: Thu, 27 Sep 2007 04:42:42 +0000
CC:
To: www-xml-schema-comments@w3.org
Message-Id: <E1IalD0-0007Kc-Bf@wiggum.w3.org>

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


cmsmcq@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needsReview




------- Comment #3 from cmsmcq@w3.org  2007-09-27 04:42 -------
To make the wording proposal easier to review, I repeat it in more
verbose form here.  Delete the current first and only paragraph of
3.2.1.1, which now reads:

    The ·value space· of anySimpleType is the union of the ·value
    spaces· of all the ·primitive· datatypes defined here, and of all
    sets of lists formed from the members of the ·primitive·
    datatypes.

Replace it with this reformulation, which changes "and of all sets of
lists" with "the set of all finite-length lists".

    The ·value space· of anySimpleType is the union of the ·value
    spaces· of all the ·primitive· datatypes defined here, and of the
    set of all finite-length lists formed from the members of the
    ·primitive· datatypes.

Also change the definition of anySimpleType by replacing the phrase
"the set of all lists" with the phrase "the set of all finite-length
lists", the phrase "of all members" with "of members", and the phrase
"of all the primitive datatypes" with "of the primitive datatypes", so
that it reads:

    [Definition:] The definition of anySimpleType is a special
    ·restriction· of anyType.  anySimpleType has an unconstrained
    ·lexical space·, a ·value space· consisting of the union of the
    ·value spaces· of all the ·primitive· datatypes and the set of all
    finite-length lists of members of the ·value spaces· of the
    ·primitive· datatypes.

Note that this wording proposal is intended to resolve bug 3244 only;
it is not intended to resolve any other of the outstanding issues
about the definition of the special types, such as bug 3243, bug 5058,
or bug 3025.  The question of cleaning up the quantifiers, raised
here, is orthogonal to the questions raised in those other bugs.

I'm setting the status of this issue to needsReview; but note that
this wording proposal has not had the normal full editorial review.
Received on Thursday, 27 September 2007 04:42:49 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:06 UTC