annotations

[cc1516.git] / sem.icl

diff --git a/sem.icl b/sem.icl
index 2341eef..af49fdf 100644 (file)
--- a/sem.icl
+++ b/sem.icl
@@ -278,7 +278,7 @@ instance infer Stmt where
         changeGamma (extend k (Forall [] given)) >>| //todo: fieldselectors
         pure (s, VoidType)
 
-    FunStmt f es = undef //what is this? 
+    FunStmt f es = pure (zero, VoidType) 
 
     ReturnStmt Nothing = pure (zero, VoidType)
     ReturnStmt (Just e) = infer e