diff options
| author | ronny | 2003-03-13 14:10:27 +0000 |
|---|---|---|
| committer | ronny | 2003-03-13 14:10:27 +0000 |
| commit | 503379a47730c3e89101482dd9fedc1cef64e252 (patch) | |
| tree | cb963868aa78ee45b662a2d5c1b111d6fea3b33b /frontend/convertDynamics.icl | |
| parent | - added some missing alternatives to toString (Token), fixes bug #12 (diff) | |
removed _TypePatternVar constructor from TypeCode
The distinction between TypePatternVars and TypeVars is not really
necessary.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 7ab260a..9123b39 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -744,7 +744,8 @@ convertTypeCode pattern cinp (TCE_Selector selections var_info_ptr) st createTypePatternVariable :: !*ConversionState -> (!Expression, !*ConversionState) createTypePatternVariable ci # (tpv_symb, ci) - = getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci +// = getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci + = getSymbol PD_Dyn_TypeVar SK_Constructor 1 ci = (App { app_symb = tpv_symb, app_args = [BasicExpr (BVInt ci.ci_type_pattern_var_count)], app_info_ptr = nilPtr }, |