diff options
| author | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 18:46:11 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 18:46:11 +0100 |
| commit | 94d4940f35cc9974121bbce9150fef7594a3d300 (patch) | |
| tree | 4d5ed2fff31ccc8ac5c9444236ee7363689afd9e /src/Typecheck.hs | |
| parent | Add function calls in commands, and type annotations in expressions (diff) | |
Evaluator
Diffstat (limited to 'src/Typecheck.hs')
| -rw-r--r-- | src/Typecheck.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Typecheck.hs b/src/Typecheck.hs index 8f09627..7136e64 100644 --- a/src/Typecheck.hs +++ b/src/Typecheck.hs @@ -4,10 +4,10 @@ module Typecheck checkExpr, wellFormed, Environment, + bool ) where import Syntax ---import Control.Monad import Control.Monad.Except type Environment = [(Idnt,Typ)] |