From 9d4f3d8ef11587d8888f8cdc9201c6e9cf663ffb Mon Sep 17 00:00:00 2001 From: John van Groningen Date: Mon, 6 Nov 2006 10:51:46 +0000 Subject: [PATCH] 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) --- frontend/typesupport.icl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 41e433f5..54358b09 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 }}) -- GitLab