diff options
| -rw-r--r-- | frontend/check.icl | 2 | ||||
| -rw-r--r-- | frontend/compilerSwitches.dcl | 7 | ||||
| -rw-r--r-- | frontend/compilerSwitches.icl | 7 |
3 files changed, 1 insertions, 15 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 4b6cc0c..27d8ce7 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -2742,7 +2742,7 @@ check_needed_modules_are_imported mod_ident extension cs=:{cs_x={x_needed_module _ -> check_it PD_StdGeneric mod_ident "" extension cs # cs = case x_needed_modules bitand cNeedStdDynamic of 0 -> cs - _ -> switch_dynamics (check_it PD_StdDynamic mod_ident "" extension cs) (switched_off_Clean_feature PD_StdDynamic mod_ident " (dynamics are disabled)" extension cs) + _ -> check_it PD_StdDynamic mod_ident "" extension cs # cs = case x_needed_modules bitand cNeedStdArray of 0 -> cs _ -> check_it PD_StdArray mod_ident " (needed for array denotations)" extension cs diff --git a/frontend/compilerSwitches.dcl b/frontend/compilerSwitches.dcl index db97bbd..7e8c2cc 100644 --- a/frontend/compilerSwitches.dcl +++ b/frontend/compilerSwitches.dcl @@ -7,10 +7,3 @@ SwitchPreprocessor preprocessor no_preprocessor :== preprocessor SwitchGenerics on off :== on SwitchGenericInfo on off :== on - -// MV... -// - change T_ypeObjectType in StdDynamic (remove DummyModuleName-argument of T_ypeConsSymbol) -// - the (ModuleID _)-constructor is *not* yet shared - -switch_dynamics on off :== on; // to turn dynamics on or off -// ...MV diff --git a/frontend/compilerSwitches.icl b/frontend/compilerSwitches.icl index d04aa38..3f0109c 100644 --- a/frontend/compilerSwitches.icl +++ b/frontend/compilerSwitches.icl @@ -7,10 +7,3 @@ SwitchPreprocessor preprocessor no_preprocessor :== preprocessor SwitchGenerics on off :== on SwitchGenericInfo on off :== on - -// MV... -// - change T_ypeObjectType in StdDynamic (remove DummyModuleName-argument of T_ypeConsSymbol) -// - the (ModuleID _)-constructor is *not* yet shared - -switch_dynamics on off :== on; // to turn dynamics on or off -// ...MV |