From 503379a47730c3e89101482dd9fedc1cef64e252 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 13 Mar 2003 14:10:27 +0000
Subject: removed _TypePatternVar constructor from TypeCode

The distinction between TypePatternVars and TypeVars is not really
necessary.


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

(limited to 'frontend/convertDynamics.icl')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index 7ab260a..9123b39 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -744,7 +744,8 @@ convertTypeCode pattern cinp (TCE_Selector selections var_info_ptr) st
 createTypePatternVariable :: !*ConversionState -> (!Expression, !*ConversionState)
 createTypePatternVariable ci
 	# (tpv_symb, ci)
-		=	getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci
+//		=	getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci
+		=	getSymbol PD_Dyn_TypeVar SK_Constructor 1 ci
 	=	(App {	app_symb = tpv_symb,
 						app_args = [BasicExpr (BVInt ci.ci_type_pattern_var_count)],
 						app_info_ptr = nilPtr },
-- 
cgit v1.2.3