From 46d10df341f0c1bbc5452dabea0210b2599039bb Mon Sep 17 00:00:00 2001
From: ronny
Date: Mon, 19 Apr 2004 14:19:38 +0000
Subject: remove TC; types type constructors in dynamic types are now uniquely
 represented by the descriptor of their TD_ (type definition) function

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/convertDynamics.icl | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'frontend/convertDynamics.icl')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index d5c8a59..df56c4e 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -646,14 +646,12 @@ where
 			# predef_type_index
 				=	type_index + FirstTypePredefinedSymbolIndex
 			=	constructorExp (predefinedTypeConstructor predef_type_index) SK_Function 0 ci
-	typeConstructor (GTT_Constructor cons_ident fun_ident) ci
-		# type_cons
-			=	App {app_symb = cons_ident, app_args = [], app_info_ptr = nilPtr}
+	typeConstructor (GTT_Constructor fun_ident) ci
 		# type_fun
 			=	App {app_symb = fun_ident, app_args = [], app_info_ptr = nilPtr}
 		# (to_tc_symb, ci)
 			=	getSymbol PD_Dyn__to_TypeCodeConstructor SK_Function 2 ci 
-		=	(App {app_symb = to_tc_symb, app_args = [type_cons, type_fun], app_info_ptr = nilPtr}, ci)
+		=	(App {app_symb = to_tc_symb, app_args = [type_fun], app_info_ptr = nilPtr}, ci)
 	typeConstructor (GTT_Basic basic_type) ci
 		=	constructorExp (basicTypeConstructor basic_type) SK_Function 0 ci
 	typeConstructor GTT_Function ci
-- 
cgit v1.2.3