[Haskell-cafe] explicit big lambdas

Paul Brauner paul.brauner at loria.fr
Thu Mar 18 11:07:09 EDT 2010

Hi again,

is there a way in some haskell extension to explicit (system F's) big
lambdas and (term Type) applications in order to help type inference?

If not: is there a way to provide ghc directly with core code before
the type checking phase?


More information about the Haskell-Cafe mailing list