Class System current status

[Johannes Waldmann]

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 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------