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

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