From da42df3f49c904ed4e85d35562311d5b99d804a8 Mon Sep 17 00:00:00 2001
From: Michael Andreen <harv@ruin.nu>
Date: Fri, 24 Feb 2006 12:04:35 +0000
Subject: [PATCH] done?

---
 Typecheck.hs       | 7 +++++--
 examples/typeerror | 1 +
 2 files changed, 6 insertions(+), 2 deletions(-)
 create mode 100644 examples/typeerror

diff --git a/Typecheck.hs b/Typecheck.hs
index 35ed382..9222640 100644
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -33,6 +33,9 @@ typeCheckExp EDefault = return NoType
 typeCheckExp (EPost i op) = do
 	TInt <- typeCheckVar i
 	return TInt
+typeCheckExp (ENeg e) = do
+	TInt <- typeCheckExp e
+	return TInt
 
 
 typeCheckVar :: (MonadState Types m) => Ident -> m Type 
@@ -59,11 +62,11 @@ typeCheckStm (SWhile e s) = do
 	return NoType
 typeCheckStm (SDecl t i e) = do
 	t2 <- typeCheckExp e
-	if t == t2 then do
+	if t == t2 || t2 == NoType then do
 		m <- get
 		put (insert i t m)
 		return NoType
-		else fail $ "Illegal to assign an expression of type "++show t2++" to variable "++show i++" of type "++show t2
+		else fail $ "Illegal to assign an expression of type "++show t2++" to variable "++show i++" of type "++show t
 typeCheckStm (SPrint e) = do
 	typeCheckExp e
 	return NoType
diff --git a/examples/typeerror b/examples/typeerror
new file mode 100644
index 0000000..2f26aa5
--- /dev/null
+++ b/examples/typeerror
@@ -0,0 +1 @@
+bool b = 1;
-- 
2.39.2