kempe-0.1.0.0: Kempe compiler
Safe HaskellNone
LanguageHaskell2010

Kempe.TyAssign

Description

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

Documentation

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

runTypeM Source #

Arguments

:: Int

For renamer

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

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

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