futhark-0.25.4: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.Internalise.LiftLambdas

Description

Lambda-lifting of typed, monomorphic Futhark programs without modules. After this pass, the program will no longer contain any LetFuns or Lambdas.

Synopsis

Documentation

transformProg :: MonadFreshNames m => [ValBind] -> m [ValBind] Source #

Perform the transformation.