[Bug 3244] Sets of lists

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





------- Comment #4 from mike@saxonica.com  2007-09-27 08:04 -------
Looking good. But one minor quibble (or rather, two). In

the set of all finite-length lists formed from the members of the ˇprimitiveˇ
datatypes.

(a) is "formed from" clear?

(b) is "members" clear?

(and in particular, is there any danger that anyone could misread this as
suggesting the items in a list must all belong to the same primitive type?)

(I'll avoid reopening the discussion on "finite-length" as I'm in danger of
shooting myself in the foot...)

Would the following be better:

the set of all finite-length lists of ˇatomic valuesˇ

and then taking care to define atomic value (we almost do so already, but not
quite).

Received on Thursday, 27 September 2007 08:04:54 UTC