Commit 93627235 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏢
Browse files

also expand synonym types in dynamics for TAS by reusing the TA code

parent 9a62341a
......@@ -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))
......
Supports Markdown
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