| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
IR
Description
Intermediate representation (IR) stages of the compiler pipeline.
Synopsis
- data Mode
- newtype Options = Options {}
- options :: [OptDescr (Options -> Options)]
- lower :: Options -> Program -> Pass (Program Annotations)
- typecheck :: Options -> Program Annotations -> Pass (Program Type)
- anomalycheck :: Program Type -> Pass (Program Type)
- transform :: Options -> Program Type -> Pass (Program Type)
- run :: Options -> Program -> Pass (Program Type)
Documentation
Operation modes for the IR compiler stage.
By default, Continue completes the pipeline end-to-end.
Compiler options for the IR compiler stage.
lower :: Options -> Program -> Pass (Program Annotations) Source #
Lower from AST to IR (with annotations).
typecheck :: Options -> Program Annotations -> Pass (Program Type) Source #
Type inference + check against type annotations.
After this stage, no compiler errors should be thrown.