X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Typecheck.hs;h=52f9816b07fdc277cdb385a70ed5c3b3588b849b;hp=38ee8fe070973d51b4602dc6a39e90c928c9fcce;hb=9d0e3c89b286456549c68a816d0729f193498f6a;hpb=de34a0eeb75a54ce9ae058797327cd5ddc853ecc

diff --git a/Typecheck.hs b/Typecheck.hs
index 38ee8fe..52f9816 100644
--- 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