Module syntax 

Abstract syntax and source-position newtypes.

Extends the spike-1 grammar (variable, lambda, application, let, fix) with four stateful forms: cell allocation (ref e), dereference (!e), assignment (r := v), and sequencing (e1 ; e2).

Structs

Position

A byte offset into the source string.

VarName

A variable identifier.

Enums

Expr

The abstract syntax tree.