Commit 9d4f3d8e authored by John van Groningen's avatar John van Groningen

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)
parent 396d1331
...@@ -406,7 +406,9 @@ where ...@@ -406,7 +406,9 @@ where
TE TE
-> (exi_vars, all_vars, cus) -> (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] # (TV var, cus) = cus!cus_var_env.[var_number]
= ([{atv_attribute = var_attr, atv_variable = var } : exi_vars ], = ([{atv_attribute = var_attr, atv_variable = var } : exi_vars ],
[var_number : all_vars], { cus & cus_var_env = { cus.cus_var_env & [var_number] = TE }}) [var_number : all_vars], { cus & cus_var_env = { cus.cus_var_env & [var_number] = TE }})
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment