Module timi::ir

Internal Representation (IR) of the machine. Contains the data representation used by the machine.

The expression type that is parsed by the Parser is held in CoreExpr

a Core program (CoreProgram) is a collection of supercombinator(top-level) definitions top-level consists of SupercombDefn.

Structs

CoreLet	Core Expression struct to hold let-bindings.
SupercombDefn	A supercombinator definition, consisting of the name, arguments, and body.

Enums

CoreExpr

A Core language expression

Type Definitions

Addr	A Heap address.
CoreProgram	A core program is a list of top-level supercombinator definitions
Name	A variable name.