Commit 3b6a84a4 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

introduced TypeFixedVar constructor for fixed type vars,

the numbers of TypeFixedVars are still negative
parent 367d63c5
......@@ -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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment