W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3669] Type checking of () GeneralOp [value]

From: <bugzilla@wiggum.w3.org>
Date: Tue, 26 Sep 2006 15:08:14 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GSEXe-0000tF-B2@wiggum.w3.org>

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


tim@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID




------- Comment #2 from tim@cbcl.co.uk  2006-09-26 15:07 -------
> Since the title of your comment is on General comparisons, I believe you meant
> to say '() = 1' ?

Yes, my mistake.

In another posting you made the point that, effectively, type empty is
equivalent to none?, and also that none is a subtype of all other types.

At the time of posting, I'd missed out the rule that prime(empty) = none. I had
prime(empty) = empty, which was the root cause of my typechecking problem.

Therefore this report can be ignored.  Thanks for your help.
Received on Tuesday, 26 September 2006 15:08:43 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:15 UTC