Class System current status

Johannes Waldmann waldmann at
Mon May 15 08:02:24 EDT 2006

Ben Rudiak-Gould wrote:

>>     => Partial p i b | p i -> b  where ...       -- (*)

> I think it's fine. The "p i b" on the left is effectively a tuple also.

The problem is that "Partial p i b" is application, while "p i" is not.
Also, "p i" (on the right) denotes a set, not a tuple.
I think this syntax is unnecessarily clever.
But I agree that changing it might not be clever either.
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- -------

More information about the Haskell-prime mailing list