Copyright | (c) Kimiyuki Onaka 2021 |
---|---|
License | Apache License 2.0 |
Maintainer | kimiyuki95@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
namecheckProgram :: MonadError Error m => Program -> m () Source #
namecheckToplevelExpr :: MonadError Error m => [(VarName, Type)] -> ToplevelExpr -> m () Source #
namecheckExpr :: MonadError Error m => [(VarName, Type)] -> Expr -> m () Source #