[Bug 3225] Value spaces as abstractions

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





------- Comment #2 from cmsmcq@w3.org  2006-10-09 20:06 -------
I agree that the paragraph could be improved.  Here is a proposal; the
XML Schema WG has not acted on this yet, but comments are welcome from
the QT working group (or Michael Kay as their representative) or other
readers.  I propose to revise the penultimate paragraph of 2.2.3, which
currently reade

    The value spaces of primitive datatypes are abstractions,
    which may have values in common.  In the order relation
    defined herein, these value spaces are made artificially
    ·incomparable·.  For example, the numbers two and three are
    values in both the precisionDecimal datatype and the float
    datatype.  In the order relation defined herein, two in the
    decimal datatype and three in the float datatype are
    incomparable values.  Other applications making use of these
    datatypes may choose to consider values such as these
    comparable.

by doing three things:  (1) replace the first two sentences, 
(2) replace "herein" with "here", and (3) rephrase the example 
so that it's (a) correct and (b) a little easier to follow.  
The result reads

    For purposes of this specification, the value spaces of the
    primitive datatypes are disjoint, even in cases where the
    abstractions they represent might be thought of as having
    values in common.  In the order relation defined in this
    specification, values from different value spaces are thus
    ·incomparable·.  For example, the numbers two and three are
    values in both the decimal datatype and the float datatype.
    In the order relation defined here, the two in the decimal
    datatype is not less than the three in the float datatype;
    the two values are incomparable.  Other applications making
    use of these datatypes may choose to consider values such as
    these comparable.

Received on Monday, 9 October 2006 20:07:08 UTC