-module Typecheck (typeCheckExp, typeCheckStm, typeCheckVar, typeCheckFunction, addFunction, State(..)) where
+module Typecheck (typeCheckExp, typeCheckStm, typeCheckVar, typeCheckFunction, addFunction, emptyState, State(..)) where
import Abssyntax
data State = State {variables::Types,functions::(Map Ident Function),function::Ident}
+emptyState = State{variables=[empty], functions=(empty), function=(Ident "")}
inList :: Eq a => a -> [a] -> Bool
inList _ [] = False