Package orc.ast.oil

Internal representation of OIL, the Orc Intermediate Language.

See:
Description

Interface Summary

RenameVariables.Renamer
Visitor<E>	Visitor for OIL expressions.

Class Summary

Atomic
Bar
Call
Def	A unit of syntax that encapsulates an expression definition.
Defs
Expr	Base class for the portable (.oil, for Orc Intermediate Language) abstract syntax tree.
HasType	An expression with an ascribed type.
Pull
Push
RenameVariables	Renumber variables in an expression according to some arbitrary mapping (relative to the context of the expression).
Semi
Silent
TypeDecl	Bind a type in the given scope.
UnguardedRecursionChecker	Check for unguarded recursion in function definitions.
Walker	Abstract base class tree walker for Oil expressions.
WithLocation	Annotate an expression with a source location.

Package orc.ast.oil Description

Internal representation of OIL, the Orc Intermediate Language. This is an AST which uses DeBruijn indices and therefore has no explicit named variables. This is the simplest AST representation of a program before it is translated into a runtime DAG.