[Bug 1737] [FS] no seed to start the recursion in 8.1.10 "union interpretation..."

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Additional Comments From simeon@us.ibm.com  2005-07-27 15:38 -------

To solve this problem, we should include Type0 in the result type, as follows:

Type1 = TypeR,1' | ... | TypeR,n' | Type0 | (Type0, TypeE,1' ) | ... |
(Type0,TypeE,m')

In which case, if you have n=m=0, it bottoms out to:

Type1 = Type0
--------------------
....

Received on Wednesday, 27 July 2005 15:38:44 UTC