[Bug 2947] Datatypes 2006-02-17 WD: what makes an order trivial?

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


cmsmcq@w3.org changed:

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




------- Comment #10 from cmsmcq@w3.org  2007-10-27 06:16 -------
The review of the spec described in comment #7 and comment #8 has now
been done (at least, each occurrence of the string 'order' has been
reviewed, and thus all the occurrences of the words 'order',
'ordering', etc.).

The review suggests that the only passage in the status quo text which
needs to change, in order to reflect the fact that not all datatypes
now have a defined ordering, is the definition of 'datatype' in
section 2.1.  This currently reads

    [Definition:]  In this specification, a datatype has three properties:

      - A ·value space·, which is a set of values.
      - A ·lexical space·, which is a set of ·literals· used to
        denote the values.
      - A small collection of functions, relations, and procedures
        associated with the datatype.  Included are equality and order
        relations on the ·value space·, and a ·lexical mapping·, which
        is a function on the ·lexical space· onto the ·value space·.

The required change consists in changing the phrase "Included are
equality and order relations on the value space" to "Included are
equality and (for some datatypes) order relations on the value
space".

As far as I can tell, no other passage in the Datatypes spec currently
assumes or entails the existence of an ordering relation on all
value spaces.

If the WG accepts this proposal, this issue can be closed.

Received on Saturday, 27 October 2007 06:16:38 UTC