bnfc

NamedVariables

Documentation

type IVar = (String, Int)

type SymEnv = [(String, String)]

getVars :: [Cat] -> [IVar]

numVars :: [(String, Int)] -> [Either String b] -> [Either String b]

fixCoercions :: [(Cat, [Rule])] -> [(Cat, [Rule])]