diff options
| author | martijnv | 2002-05-14 07:59:41 +0000 |
|---|---|---|
| committer | martijnv | 2002-05-14 07:59:41 +0000 |
| commit | a43e6394df1f5742dab69912a671b0f62f2b82ef (patch) | |
| tree | 763c00ec4196ab580a12d5c860c087a8147d24e0 /frontend/convertDynamics.icl | |
| parent | bug fix: make case for variable pattern explicit (diff) | |
- improved handling of equivalent types within one application to share a
single implementation.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1078 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 0a86829..16badfc 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -98,7 +98,7 @@ write_tcl_file main_dcl_module_n dcl_mods=:{[main_dcl_module_n] = main_dcl_modul = (True,tcl_file,type_heaps,predefined_symbols) where - collect_type_constructors_in_dynamic_patterns :: !Int !Int [(!TypeSymbIdent,!String)] -> [(!TypeSymbIdent,!String)] + collect_type_constructors_in_dynamic_patterns :: !Int !Int [TypeSymbIdent] -> [TypeSymbIdent] collect_type_constructors_in_dynamic_patterns i limit type_constructors_in_dynamic_patterns | i == limit = type_constructors_in_dynamic_patterns @@ -107,7 +107,7 @@ where # (GTT_Constructor type_name=:{type_name={id_name}} module_name used_in_application_of_type_dependent_function) = global_type_instances.[i] | used_in_application_of_type_dependent_function || ci_type_constructor_used_in_dynamic_patterns.[i] - = collect_type_constructors_in_dynamic_patterns (inc i) limit [(type_name,module_name):type_constructors_in_dynamic_patterns] + = collect_type_constructors_in_dynamic_patterns (inc i) limit [type_name:type_constructors_in_dynamic_patterns] = collect_type_constructors_in_dynamic_patterns (inc i) limit type_constructors_in_dynamic_patterns = collect_type_constructors_in_dynamic_patterns (inc i) limit type_constructors_in_dynamic_patterns where |