X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Typecheck.hs;h=35ed382d11e00e572eb4094153101ba54a34453e;hp=ec2270e01c3860215b28dcb851807b8f8f14ea99;hb=e9be0603d9dbd1caa6a0032cad0e39815cb8f38d;hpb=9726c329b6d9ab02a1b50566ae96c82f29c5ec4d diff --git a/Typecheck.hs b/Typecheck.hs index ec2270e..35ed382 100644 --- 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