Check performs a semantic check of the astNode, and returns a list of errors found, or nil if the program is semantically valid.

CodeGen is the function that compiles the program to bytecode and data.

Compile compiles a program from the input into a virtual machine or a list of compile errors.

Dimension is a convenience method which instantiates a new Dimension type scheme, with the given args as the dimensions of the type.

Equals compares two types, testing for equality.

FreshType returns a new type from the provided type scheme, replacing any unbound type variables with new type variables.

Function is a convenience method, which instantiates a new Function type scheme, with the given args as parameters.

IsComplete returns true if the type and all its arguments have non-variable exemplars.

IsDimension returns true if the given type is a Dimension type.

IsFunction returns true if the given type is a Function type.

New creates a new virtual machine with the given name, and compiler artifacts for executable and data segments.

NewLoader creates a new program loader.

NewScope creates a new scope within the parent scope.

NewSymbol creates a record of a given symbol kind, named name, found at loc.

NewTypeVariable constructs a new unique TypeVariable.

Unify performs type unification of both parameter Types.

Capture group references.

Decorators.

Named pattern constants.

Variables.

Builtin types.

Builtins is a mapping of the builtin language functions to their type definitions.

Builtin types.

Builtin types.

Builtin types.

LineCount counts the number of lines read by the program loader from the input channel.

Builtin types.

Builtin types.

ProgLoadErrors counts the number of program load errors.

ProgLoads counts the number of program load events.

Builtin types.

Builtin types.

Loader handles the lifecycle of programs and virtual machines, by watching the configured program source directory, compiling changes to programs, and managing the running virtual machines that receive input from the lines channel.

LoaderOptions contains the required and optional parameters for creating a new Loader.

Options contains all the parameters that affect the behaviour of the compiler.

Scope maintains a record of the identifiers declared in the current program scope, and a link to the parent scope.

Sexp is for converting program syntax trees into typed s-expression for printing.

Symbol describes a named program object.

TypeOperator represents a type scheme in the type system.

TypeVariable represents an unbound type variable in the type system.

Unparser is for converting program syntax trees back to program text.

VM describes the virtual machine for each program.

Type represents a type in the mtail program.

Visitor's VisitBefore method is invoked for each node encountered by Walk.

ErrorList contains a list of compile errors.