Commit 35ab261c authored by Sjaak Smetsers's avatar Sjaak Smetsers
Browse files

Bug fixes: overloading error, changed the order of dictionaries

parent 1d8ab5d8
......@@ -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
......
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