added not

[proglang.git] / Typecheck.hs

diff --git a/Typecheck.hs b/Typecheck.hs
index 38ee8fe070973d51b4602dc6a39e90c928c9fcce..52f9816b07fdc277cdb385a70ed5c3b3588b849b 100644 (file)
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -40,6 +40,9 @@ typeCheckExp (EPost i op) = do
 typeCheckExp (ENeg e) = do
        TInt <- typeCheckExp e
        return TInt
+typeCheckExp (ENot e) = do
+       TBool <- typeCheckExp e
+       return TBool
 
 typeCheckVar :: (MonadState Types m) => Ident -> m Type 
 typeCheckVar i = do