[Haskell] Re: Functional dependencies and type inference (2)

Stefan Monnier monnier at iro.umontreal.ca
Tue Dec 6 23:05:05 EST 2005

>> > instance CpsForm t t where
>> This can't be right, can it?
> In general no: the CPS of a function certainly doesn't fit the above
> pattern. So, if the source language has abstractions (the language in
> the original message didn't), we have to add another instance for
> CpsForm.

But any other instance will cause problem because the second type won't be
functionally dependent on the first any more.  Or do you suggest we remove
the functional dependency?


More information about the Haskell mailing list