diff options
| author | ronny | 2003-03-13 17:40:52 +0000 |
|---|---|---|
| committer | ronny | 2003-03-13 17:40:52 +0000 |
| commit | 21a2edb4cc56d8eff726b847b796088e4419e9d4 (patch) | |
| tree | fbaf50eabe4eec9a03f6494995c8c50d5fa8cbd9 | |
| parent | changed constructors of TypeCode type in anticipation of things to come (diff) | |
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
| -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 |