diff options
| author | ronny | 2003-08-22 09:20:55 +0000 |
|---|---|---|
| committer | ronny | 2003-08-22 09:20:55 +0000 |
| commit | 803a69311fc47582b967a54a036ea0f6fd0862f6 (patch) | |
| tree | 626e8b1cf4b0668ee2ea719c5af3f7bbcf9158d4 /frontend/overloading.icl | |
| parent | removed unnecessary separate fields for universal variables, (diff) | |
also expand synonym types in dynamics for TAS by reusing the TA code
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1372 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.icl')
| -rw-r--r-- | frontend/overloading.icl | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/frontend/overloading.icl b/frontend/overloading.icl index edd3f83..bad8def 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -539,13 +539,8 @@ where (rc_red_contexts, instances) = reduce_TC_contexts type_code_class cons_args (new_contexts, type_pattern_vars, var_heap, type_heaps, error) = (CA_GlobalTypeCode { tci_constructor = type_constructor, tci_contexts = rc_red_contexts }, instances) - reduce_tc_context type_code_class (TAS cons_id=:{type_index} cons_args _) (new_contexts, type_pattern_vars, var_heap, type_heaps, error) - # error - = disallow_abstract_types_in_dynamics type_index error - # type_constructor = toTypeCodeConstructor type_index defs - (rc_red_contexts, instances) = reduce_TC_contexts type_code_class cons_args - (new_contexts, type_pattern_vars, var_heap, type_heaps, error) - = (CA_GlobalTypeCode { tci_constructor = type_constructor, tci_contexts = rc_red_contexts }, instances) + reduce_tc_context type_code_class (TAS cons_id cons_args _) state + = reduce_tc_context type_code_class (TA cons_id cons_args) state reduce_tc_context type_code_class (TB basic_type) (new_contexts, type_pattern_vars, var_heap, type_heaps, error) = (CA_GlobalTypeCode { tci_constructor = GTT_Basic basic_type, tci_contexts = [] }, (new_contexts, type_pattern_vars, var_heap, type_heaps, error)) |