initial commit of interpreter

[proglang.git] / Typecheck.hs

diff --git a/Typecheck.hs b/Typecheck.hs
index 691b79b269350f18a31e463fc04d72c106502609..6f65d6e2f538d18d554787225c4aa138918a586f 100644 (file)
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -1,5 +1,6 @@
 module Typecheck (typeCheckExp, typeCheckStm, typeCheckVar) where 
 
+
 import Abssyntax
 import Control.Monad.State
 import Data.Map as Map
@@ -76,7 +77,7 @@ typeCheckStm (SDecl t i e) = do
        t2 <- typeCheckExp e
        if t == t2 || t2 == NoType then do
                (m:ms) <- get
-               case insertLookupWithKey (\k a1 a2 -> a1) i t m of 
+               case insertLookupWithKey (\k a1 a2 -> a1) i t m of
                        (Nothing,m') -> put (m':ms)
                        _ -> fail $ "Duplicate variable declaration: "++show i
                return NoType