diff options
| author | ronny | 2003-03-13 18:46:45 +0000 |
|---|---|---|
| committer | ronny | 2003-03-13 18:46:45 +0000 |
| commit | 091ab2673fd37d5fca6e52f2ed407ce99a11647b (patch) | |
| tree | f07dd5c73c028ed20cd827b57b8d1e6112388cfa /frontend/convertDynamics.icl | |
| parent | introduced TypeFixedVar constructor for fixed type vars, (diff) | |
use positive numbers for TypeVarFixed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1334 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 6 |
1 files changed, 3 insertions, 3 deletions
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 |