rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellSafe
LanguageHaskell2010

Embedder.HSE.Desugar

Synopsis

Documentation

desugar :: MonadError AstError m => Renamer -> Module Annote -> m (Module Annote) Source #

Desugar into lambdas then normalize the lambdas. This differs from ReWire.HSE.Desugar's pipeline: tuples, records, case flattening, and discriminator lifting are deferred to the Atmo IR, and unguarded multi-clause function bindings are kept intact (see desugarFuns).

addMainModuleHead :: Module a -> Module a Source #

Adds the "module Main where" if no module given (but not the "main" export).