From: pimjager <pim@pimjager.nl>
Date: Mon, 2 May 2016 14:32:18 +0000 (+0200)
Subject: infer voor statements
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1f01e39fb2383aa2c63234d0750c0459fe3de752;p=cc1516.git

infer voor statements
---

diff --git a/sem.icl b/sem.icl
index 8ed05eb..272ef5a 100644
--- 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