aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
diff options
context:
space:
mode:
authormartinw2000-11-01 15:42:13 +0000
committermartinw2000-11-01 15:42:13 +0000
commit82bd65297bb04bdd2b144e2c426b6a548024ff6e (patch)
tree84d139b61c5b908fc66df5af7027f215814b0c87 /frontend/type.icl
parentchanges were necessary due to different numberings due to caching of dcl (diff)
improved code for explicit imports,
moved all switches to syntax module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
-rw-r--r--frontend/type.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl
index e72d55d..bfe7033 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -1986,7 +1986,7 @@ where
collect_imported_instances imports common_defs dummy error class_instances type_var_heap td_infos
= foldSt (collect_imported_instance common_defs) imports (dummy, error, class_instances, type_var_heap, td_infos)
- collect_imported_instance common_defs {dcl_ident, dcl_kind = STE_Imported STE_Instance mod_index, dcl_index } state
+ collect_imported_instance common_defs {dcl_ident, dcl_kind = STE_Imported (STE_Instance _) mod_index, dcl_index } state
= update_instances_of_class common_defs mod_index dcl_index state
collect_imported_instance common_defs _ state
= state