From cf372c16cd6ab5eb6a47657eb5beb64dd67649d0 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 6 Nov 2006 10:51:46 +0000
Subject: add var to exi_vars in function check_existential_var if an error
 occurs, and therefore to TFA, to prevent crash later in the compiler (would
 cause invalid pointer)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1623 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/typesupport.icl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 41e433f..54358b0 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -406,7 +406,9 @@ where
 					TE
 						-> (exi_vars, all_vars, cus)
 					_
-						-> (exi_vars, all_vars, { cus & cus_var_env = { cus.cus_var_env & [var_number] = TE }, cus_error = existentialError cus.cus_error })
+						# (TV var, cus) = cus!cus_var_env.[var_number]
+						-> ([{atv_attribute = var_attr, atv_variable = var } : exi_vars ], all_vars,
+							{ cus & cus_var_env = { cus.cus_var_env & [var_number] = TE }, cus_error = existentialError cus.cus_error })
 				# (TV var, cus) = cus!cus_var_env.[var_number]
 				= ([{atv_attribute = var_attr, atv_variable = var } : exi_vars ],
 						[var_number : all_vars], { cus & cus_var_env = { cus.cus_var_env & [var_number] = TE }})
-- 
cgit v1.2.3