sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Constraint.Typechecking

Documentation

typecheckProgram :: Program Annotations -> Bool -> Pass (Program Type) Source #