W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Wed, 27 Jul 2005 15:38:39 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DxnzT-0004J5-7Q@wiggum.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC