From 803a69311fc47582b967a54a036ea0f6fd0862f6 Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 22 Aug 2003 09:20:55 +0000
Subject: 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
---
 frontend/overloading.icl | 9 ++-------
 1 file 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))
-- 
cgit v1.2.3