diff options
| -rw-r--r-- | frontend/check.icl | 13 | ||||
| -rw-r--r-- | frontend/compilerSwitches.dcl | 2 | ||||
| -rw-r--r-- | frontend/compilerSwitches.icl | 2 |
3 files changed, 16 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 7092e4f..e507264 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -2115,7 +2115,7 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules //..AA # cs = case x_needed_modules bitand cNeedStdDynamics of 0 -> cs - _ -> check_it PD_StdDynamic mod_name "" extension cs + _ -> switch_dynamics (check_it PD_StdDynamic mod_name "" extension cs) (switched_off_Clean_feature PD_StdDynamic mod_name " (dynamics are disabled)" extension cs) # cs = case x_needed_modules bitand cNeedStdArray of 0 -> cs _ -> check_it PD_StdArray mod_name " (needed for array denotations)" extension cs @@ -2137,6 +2137,17 @@ check_needed_modules_are_imported mod_name extension cs=:{cs_x={x_needed_modules cs_error = checkError pds_ident ("not imported"+++explanation) cs_error cs_error = popErrorAdmin cs_error -> { cs & cs_error = cs_error } + +// MV ... + switched_off_Clean_feature pd mod_name explanation extension cs=:{cs_predef_symbols, cs_symbol_table} + #! {pds_ident} = cs_predef_symbols.[pd] + # error_location = { ip_ident = mod_name, ip_line = 1, ip_file = mod_name.id_name+++extension} + cs_error = pushErrorAdmin error_location cs.cs_error + cs_error = checkError pds_ident ("not supported"+++explanation) cs_error + cs_error = popErrorAdmin cs_error + = { cs & cs_error = cs_error } + +// ... MV arrayFunOffsetToPD_IndexTable :: !w:{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !x:{#MemberDef}, !v:{#PredefinedSymbol}) , [w<=x] arrayFunOffsetToPD_IndexTable member_defs predef_symbols diff --git a/frontend/compilerSwitches.dcl b/frontend/compilerSwitches.dcl index 4bded90..8186797 100644 --- a/frontend/compilerSwitches.dcl +++ b/frontend/compilerSwitches.dcl @@ -16,4 +16,6 @@ SwitchPreprocessor preprocessor no_preprocessor :== preprocessor // - the (ModuleID _)-constructor is *not* yet shared USE_DummyModuleName yes no :== yes + +switch_dynamics on off :== off; // to turn dynamics on or off // ...MV diff --git a/frontend/compilerSwitches.icl b/frontend/compilerSwitches.icl index ef175a3..141a858 100644 --- a/frontend/compilerSwitches.icl +++ b/frontend/compilerSwitches.icl @@ -16,4 +16,6 @@ SwitchPreprocessor preprocessor no_preprocessor :== preprocessor // - the (ModuleID _)-constructor is *not* yet shared USE_DummyModuleName yes no :== yes + +switch_dynamics on off :== off; // to turn dynamics on or off // ...MV |