bnfc

TypeChecker

Documentation

data Base

Constructors

BaseT String 
ListT Base 

Instances

data Type

Constructors

FunT [Base] Base 

Instances

data Context

Constructors

Ctx 

Fields

ctxLabels :: [(String, Type)]
 
ctxTokens :: [String]
 

catchErr :: Err a -> (String -> Err a) -> Err a

data ListConstructors

Constructors

LC 

Fields

nil :: Base -> String
 
cons :: Base -> String