| Copyright | (c) Kimiyuki Onaka 2021 |
|---|---|
| License | Apache License 2.0 |
| Maintainer | kimiyuki95@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Jikka.Core.Language.NameCheck
Description
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 #