diff options
| author | sjakie | 2001-10-03 15:32:41 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-03 15:32:41 +0000 |
| commit | 01766bb8112d4405436875c83eebb9bde54cfc08 (patch) | |
| tree | 2349a015db940bc7eb681bab4901d0e23d2cb11e | |
| parent | Reduce memory usage of mark_producer_safe (diff) | |
Bug fixes: overloading error, changed the order of dictionaries
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@821 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 1a02ac3..46a9f25 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -457,7 +457,7 @@ instantiateTypes old_type_vars old_attr_vars types type_contexts attr_env {ss_en False -> checkError "instance type incompatible with class type" "" error - = (inst_vars, inst_attr_vars, inst_types, inst_contexts ++ new_ss_context, inst_attr_env, special_subst_list, { type_heaps & th_vars = th_vars }, error) + = (inst_vars, inst_attr_vars, inst_types, new_ss_context ++ inst_contexts, inst_attr_env, special_subst_list, { type_heaps & th_vars = th_vars }, error) where clear_vars type_vars type_var_heap = foldSt (\tv -> writePtr tv.tv_info_ptr TVI_Empty) type_vars type_var_heap |