From 21a2edb4cc56d8eff726b847b796088e4419e9d4 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 13 Mar 2003 17:40:52 +0000
Subject: introduced TypeFixedVar constructor for fixed type vars, the numbers
 of TypeFixedVars are still negative

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

(limited to 'frontend/convertDynamics.icl')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index 9123b39..c07a7d3 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -702,7 +702,7 @@ convertTypeCode pattern cinp (TCE_Constructor index cons args) st
 	=	convertTypeCode pattern cinp curried_type st
 convertTypeCode pattern cinp (TCE_UniType uni_vars type_code) (has_var, binds, ci)
 		# (tv_symb, ci)
-			=	getSymbol PD_Dyn_TypeVar SK_Constructor 1 ci
+			=	getSymbol (if pattern PD_Dyn__TypeFixedVar PD_Dyn_TypeVar) SK_Constructor 1 ci
 		# init_count
 			=	if pattern ci.ci_type_var_count ci.ci_type_pattern_var_count
 		# (count, ci_var_heap)
@@ -851,4 +851,3 @@ create_dynamic_and_selector_idents common_defs predefined_symbols
 			,	dr_dynamic_symbol	= dynamic_defined_symbol
 			}, predefined_symbols)
 
-	
\ No newline at end of file
-- 
cgit v1.2.3