diff options
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)] |