ModuleBNFC-2.9.6.3Haskell2010

BNFC.TypeChecker

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

Contents

Synopsis

Type checker entry point

valuerunTypeChecker :: Err a -> Either String a

valuecheckDefinitions :: CF -> Err CF

Entry point.

valuecheckDefinition'

:: 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.

valuebuildSignature :: [Rule] -> Err Signature

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

Fail if a label is used at different types.

valuebuildContext :: CF -> Context

valuectxTokens :: Context -> [String]

User-defined token types.

valueisToken :: String -> Context -> Bool

datadata ListConstructors

LC
- nil :: Base -> (String, Type)
  Base is the element type. Type the list type.
- cons :: Base -> (String, Type)