Kempe.TyAssign

Constraint-based typing from the presentation in Pierce's book.

Documentation

type TypeM a = StateT (TyState a) (Either (Error a))

runTypeM

Arguments

:: Int

For renamer

-> TypeM a x

-> Either (Error a) (x, Int)

checkModule :: Module a c b -> TypeM () ()

assignModule :: Module a c b -> TypeM () (Module () (StackType ()) (StackType ()))