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

Stefan Monnier monnier at iro.umontreal.ca
Sat Dec 3 17:11:33 EST 2005

> instance CpsForm t t where

This can't be right, can it?
After CPS conversion a term of type "a -> b" won't have type "a -> b"
but rather something like "a * (b -> c) -> c".


More information about the Haskell mailing list