diff options
| -rw-r--r-- | frontend/convertDynamics.icl | 3 |
1 files changed, 1 insertions, 2 deletions
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 |