comp package:ghc

Compile an expression, run it, and deliver the resulting HValue.

Compile an expression, run it, and deliver the resulting HValue.

Compile a parsed expression (before renaming), run it, and deliver the resulting HValue.

This is the way to get access to the Core bindings corresponding to a module. compileToCore parses, typechecks, and desugars the module, then returns the resulting Core module (consisting of the module name, type declarations, and function declarations) if successful.

Like compileToCoreModule, but invokes the simplifier, so as to return simplified and tidied Core.

Try one stepper and then try the next, if the first doesn't make progress. So if it returns NS_Done, it means that both steppers are satisfied

Composes two substitutions, applying the second one provided first, like in function composition. This function leaves IdSubstEnv untouched because IdSubstEnv is not used during substitution for types.