infer voor statements

diff --git a/sem.icl b/sem.icl
index 8ed05eb..272ef5a 100644 (file)
--- a/sem.icl
+++ b/sem.icl
@@ -296,6 +296,11 @@ instance infer Stmt where
         changeGamma (extend k (Forall [] et)) >>| //todo: fieldselectors
         pure (s1, VoidType)
 
+    FunStmt f es = undef //what is this? 
+
+    ReturnStmt Nothing = pure (zero, VoidType)
+    ReturnStmt (Just e) = infer e
+
 
 instance infer [a] | infer a where
     infer _ = undef