From 1e128f3e3f8a2f0db8f90a9ec750e08b1b8b6ad0 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 27 Jul 2017 14:07:42 +0200
Subject: Check type for initial values of locals

---
 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 d59573d..efe61cb 100644
--- a/Sil/Compile.icl
+++ b/Sil/Compile.icl
@@ -343,7 +343,7 @@ where
 		s=:{bsize=0} -> tell $ repeatn s.asize 'ABC'.Create
 		s=:{asize=0} -> case init.init_value of
 			Nothing -> error $ BasicInitWithoutValue init.init_name
-			Just v  -> gen v *> shrinkStack s
+			Just v  -> checkType init.init_type v *> gen v *> shrinkStack s
 
 instance gen Statement
 where
-- 
cgit v1.2.3