Index of values

Adds a frame to the environment

Adds the location information of the given variable to the current stack frame

Annotates the data type AST element with information that will be needed by the IR

Appends a string to the linker buffer

Appends the first string to the second

Apply argtypes to the arrow type, making sure there are no template inconsistencies, and get the return type

Checks if two association lists are compatible (do not contain conflicting key/value pairs

Checks if association list l1 has no conflicting key/value pairs with association list l2

Check if the graph node_list with root(s) start_nodes is connected

Checks that all provide/require definitions in the linker syntax tree are consistent with each other

Checks for duplicate function definitions.

Check required function against provided functions (just names, not types.

Checks that the name/type list types is consistent with the name/type list of provided_types

Returns an association list of template types to link_types.

Compiles a binary operation expression

Compiles a complete buffer of IR instructions, including the compiler signal to allocate global fields

Compiles the callback list of a state

Compiles a conditional.

Compiles an else case

Compiles the initialization code of data type dt

Compiles each data type in dt_list, inserting push instructions between each compilation result

Compiles an expression

Compiles a list of expressions

Compiles each state machine described in the AST, leaving other syntax elements untouched.

Compiles a function call.

Compiles a function definition.

Get a variable identifier into the accumulator

Compile global expression

Compile a global expression list

Compile a source program to IR representation, including the init buffer

Compiles the given IR instruction

Compiles a list of IR instructions

Compiles a list value producer

Compiles a loop

Compiles unary operations

Compiles a return statement

Produces code to set the state list of the finite state machine to the given state names

Produces code that sets the variable identifier to the value in the accumulator.

Compiles the state list and sets the initial state of the FSM.

Compiles all states.

Compiles a given transition in a state.

Compile a transition target of a state.

Compiles all transition targets of a given state.

Compiles all transitions of a given state.

Compiles a value

Compiles a value produder

Compiles each value producer in order, pushing the results onto the stack

Compiles a variable assignment

Compiles a variable declarations

Shorthand for String.concat ""

Renaming of String.concat ""

Shorthand for String.concat ""

Concatenates a list with commas.

Used by make_id()

Eliminates duplicate entries in a list

Gives an expanded string representation of the given enum type detailing its total number of values

Gives an expanded string representation of the given struct type which includes the expanded representation of each of its fields

Gives a string representation of the given type with expanded represnetations of structs and enums

Extracts the assembler code from the linker syntax tree

Extracts a list of the name of a provided function from the linker syntax tree element.

Extracts the name/type pair of a provided function from the linker syntax tree element.

Extracts a name/type pairs from a linker syntax tree element.

Gets the relevant break label

Gets the restore code needed to exit all frames that have been entered since the loop frame before breaking/continuing

Gets the relevant continue label

Gets all variable definitions of the current stack frame and its parents

Casts enum value s1.s2 to an integer.

Replaces an association list by a list of keys

Returns the first element of any 2-tuple

Checks if the id is associated with some name in the environment.

Gets the contents of the linker header infromation

Gets the location of the given variable

Gets the total number of values of enum type ename.

Gets the number of pops needed to restore the current stack frame to its parent

Replaces an association list by a list of values

Gets the change in stack pointer resulting from the given instruction.

Retrieves the state_node object with the given id from the globally defined graph

Retrieves the state_node object with the given id from the given graph

Returns the state name given an id

Gets a string list of state names from a list of state_nodes

Gets the AST data types of the struct fields

Returns the integer index of field s2 in struct s1 as determined by environment env

Returns the (string * bmdtype) list of struct fields of struct s1.

Gets the type of the result of operator op on values of type t1 and t2.

Gets the type of the given function from the environment.

Gets the data type of field s2 of struct s1 from the environment.

Gets the type of the given variable from the environment.

Finds the index of a value in a list.

Keeps track of the buffer of code used to initialize structs/arrays/lists.

Uses the association list (substitution list) template_map (key: template string, value: bmdtype) to type the given data type with those substitutions

Checks if s2 is an enum value of enum type s1.

Checks if s2 is a field of struct s1 from the environment.

Determines whether an AST is validly typed.

Checks if op is a valid operator on values of type t1 and t2

Checks if the given variable is defined in the current scope or one of its parent scopes

Checks if the given enum is defined in the environment

Checks if the given function is defined in the environment

Checks if the given identifier is defined as a struct, enum, variable, or function in the environment

Checks if file "name" has been included in the given environment

Checks if the given struct name is defined in the environment

Checks if the given template definition is defined in the environment

Checks if the given variable is defined in the environment

Used by make_label

Linker header information buffer

Makes a new compilation environment

Returns a unique integer every call

Generate labels with unique prefixes

See Bmdirc.make_label

Creates a list of AST data type elements correlated with the struct fields

Gets the number of global fields that need to be allocated

Gets the number of fields of struct sname from the environment.

State Graph

Takes an argument list and notes the positions

Offsets every stack location in the environment by i (positive = push, negative = pop

Pretty print the AST

Prints the given instruction buffer to the given output channel

Prints the IR buffer to the given output channel

Raises an IR compile error by concatenating s_list

Raises a compiler error from the concatenation of the given string list

Raises the linker error of string s

Raises a type error from the concatenated string list

Removes a frame from the envrionment.

Removes the most recent template definition from the environment

Concatenates n repetitions of the given list

Repeats the given list n times and concatenates the repetitions

Clears the linker header information buffer

Reverses key/value pairs of an association list

Sets the break/continue information of the current environment frame

State Id -> State name association

Pretty-printable string of the AST

Pretty-printable string of a binary operator

Produces a string representation of the given instruction buffer

Produces a string representation of the given instruction

Produces a string representation of the given IR instruction buffer

Produces a string representation of the given IR instruction

Gives a string representation of the given type

Produces a comma-separated string representation of a list of types

Types the declaration of a list of struct fields.

Types an array value producer (i.e.

Types a binary operation vp1 op vp2.

Types a conditional expression

Types an else case

Types a single AST data type element

Types a list of AST data type element

Types an expression.

Types an expression list.

Types a function call expression.

Types a function call as a value-producer (checks argument types, gives the return type).

Types a top level expression

Types a list value producer

Types a loop

Types a unary operation expression.

Types a program (top-level expression list

Types a value

Types a value producer

Types a list of value producers (i.e.

Returns a list of types, i.e.

Types a variable assignment

Types a variable declaration

Types a variable identifier

Returns an association list of template types to bmdtypes.

Types an argument list to a function, adding the arguments as variable declarations to the environment.

Turns a string into a AST variable identifier

Visit all nodes stemming from nodes in node_list

VM-Provided Remotable Functions