[Bug 3227] Mapping value space to lexical space

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





------- Comment #1 from davep@iit.edu  2006-11-04 02:07 -------
(In reply to comment #0)

> In 2.6.1.3: is it true that the value space of a union type is the union
> of the value spaces of the basic member types? Possibly not, because if
> there are lexical representations shared by the member value spaces, then
> values of some of the member types may become "unreachable", in which case
> they are presumably excluded from the value space (because every value must
> have at least one lexical representation).

This part of the comment duplicates bug 3229.  The solution is actually covered
in the discussion under bug 3025, which subsumes bug 3229.

Received on Saturday, 4 November 2006 02:07:53 UTC