hopefully compiles properly

[proglang.git] / Typecheck.hs

diff --git a/Typecheck.hs b/Typecheck.hs
index ec2270e01c3860215b28dcb851807b8f8f14ea99..35ed382d11e00e572eb4094153101ba54a34453e 100644 (file)
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -63,7 +63,7 @@ typeCheckStm (SDecl t i e) = do
                m <- get
                put (insert i t m)
                return NoType
-               else fail "Så får du inte göra!!!"
+               else fail $ "Illegal to assign an expression of type "++show t2++" to variable "++show i++" of type "++show t2
 typeCheckStm (SPrint e) = do
        typeCheckExp e
        return NoType