From 62c9c126ed3eedf981cc087938fd98f7afb17506 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 20 Jul 2017 20:40:38 +0000
Subject: Check the type of the main function (should be Void)

---
 Sil/Compile.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Sil/Compile.icl')

diff --git a/Sil/Compile.icl b/Sil/Compile.icl
index af82f3e..50cc86b 100644
--- a/Sil/Compile.icl
+++ b/Sil/Compile.icl
@@ -181,7 +181,7 @@ where
 		typeresolver :: Name -> Maybe (MaybeError TypeError Type)
 		typeresolver n = case [f \\ f <- p.p_funs | f.f_name == n] of
 			[]    -> Nothing
-			[f:_] -> type (const Nothing) f
+			[f:_] -> type zero f
 
 instance gen Function
 where
-- 
cgit v1.2.3