Module mil::types

Project level types such as the abstract syntax tree and intermediate representations.

Structs

PushB

PushI

Push is inherent in the language and so not a variant of BuiltIn.

Enums

BuiltIn

Primitive operations that are accessible in the mil language front-end.

ExpandedBuiltIn

Primitive operations as the are represented internally in the AST. Most notably, symbols are replaced with locations in memory. ExpandedBuiltins are directly compilable to MelVM opcodes.

Expr

Abstract syntax tree of mil. This is evaluated into a MelExpr which can be compiled directly to the MelVM.

MelExpr

The lower level representation of a program that is directly compilable into a binary for the MelVM.

Reserved

Reserved identities for values available in every MelVM script. u8 represents the corresponding location on the heap.

Statement

Non-value-returning syntax.

UnrolledExpr

An expression where all applications are on BuiltIn operators. Variables are also mangled to distinguish scope. It is the generated by applying all defined functions to an Expr.

UnrolledStatement

Non-value-returning syntax.

Value

Lisp evaluator fundamental data types. These are used by the compiler, not by MelVM.

Type Definitions

HeapPos

An index for a location on the MelVM heap.

Symb

Symbol

Symbolic name for an expression

VarId

Internal data type for tracking variable ids.