- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 27 Jul 2005 15:38:39 +0000
- To: public-qt-comments@w3.org
- Cc:
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