From 1f01e39fb2383aa2c63234d0750c0459fe3de752 Mon Sep 17 00:00:00 2001
From: pimjager <pim@pimjager.nl>
Date: Mon, 2 May 2016 16:32:18 +0200
Subject: [PATCH] infer voor statements

---
 sem.icl | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.20.1