Johannes Waldmann wrote:
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.
That's just it: I don't think "Partial p i b" is an application. The
typeclass language is a logic language. "((Partial p) i) b" is illegal.
(Well, GHC accepts it, but I think that's a side effect of the way the
parser works. Hugs rejects it.)
-- Ben
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org//mailman/listinfo/haskell-prime
