BNFC.TypeChecker

Type checker for defined syntax constructors define f xs = e.

Type checker entry point

runTypeChecker :: Err a -> Either String a

checkDefinitions :: CF -> Err CF

Entry point.

Backdoor for rechecking defined syntax constructors for list types

checkDefinition'

Arguments

:: ListConstructors

Translation of the list constructors.

-> Context

Signature (types of labels).

-> RFun

Function name.

-> [String]

Function arguments.

-> Exp

Function body.

-> Err (Telescope, (Exp, Base))

Typed arguments, translated body, type of body.

buildSignature :: [Rule] -> Err Signature

Create context containing the types of all labels, computed from the rules.

Fail if a label is used at different types.

buildContext :: CF -> Context

ctxTokens :: Context -> [String]

User-defined token types.

isToken :: String -> Context -> Bool

data ListConstructors

Constructors

LC

Fields

• nil :: Base -> (String, Type)

  Base is the element type. Type the list type.

• cons :: Base -> (String, Type)