From 091ab2673fd37d5fca6e52f2ed407ce99a11647b Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 13 Mar 2003 18:46:45 +0000
Subject: use positive numbers for TypeVarFixed

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

(limited to 'frontend')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index c07a7d3..55bd4b9 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -121,7 +121,7 @@ convertDynamicPatternsIntoUnifyAppls global_type_instances common_defs main_dcl_
 			= convert_groups 0 groups global_type_instances dynamic_representation (fun_defs, {	
 							ci_predef_symb = predefined_symbols, ci_var_heap = var_heap, ci_expr_heap = expr_heap,
 							ci_new_variables = [],
-							ci_type_var_count = -1,
+							ci_type_var_count = 0,
 							ci_type_pattern_var_count = 0,
 							ci_type_constructor_used_in_dynamic_patterns	= createArray s_global_type_instances False
 							})
@@ -166,7 +166,7 @@ where
 			# (unify_subst_var, ci)
 			  	=	newVariable "unify_subst" VI_Empty ci
 			# ci
-				= {ci & ci_type_pattern_var_count = 0, ci_type_var_count = -1}
+				= {ci & ci_type_pattern_var_count = 0, ci_type_var_count = 0}
 
 			# (fun_body, ci) = convertDynamics {cinp_st_args = [], cinp_dynamic_representation = dynamic_representation,
 					cinp_glob_type_inst = global_type_instances,
@@ -250,7 +250,7 @@ instance convertDynamics TransformedBody where
 					= { lb_src = App {	app_symb		= initial_unifier_symb,
 										app_args 		=
 												[	BasicExpr (BVInt ci_type_pattern_var_count)
-												,	BasicExpr (BVInt (~ci_type_var_count-1))
+												,	BasicExpr (BVInt ci_type_var_count)
 												],
 										app_info_ptr	= nilPtr }
 					,	lb_dst =  varToFreeVar subst 1
-- 
cgit v1.2.3