diff options
| author | martijnv | 2001-08-30 08:27:35 +0000 |
|---|---|---|
| committer | martijnv | 2001-08-30 08:27:35 +0000 |
| commit | ecadeb5fc3e3a9dc8d5f4984f163499c10133f28 (patch) | |
| tree | f6e66dea09efcc0d2563ca864c92345d7efd758d /frontend | |
| parent | This commit was generated by cvs2svn to compensate for changes in r695, (diff) | |
added switch_dynamics in module compilerSwitches. Standard dynamics are
turned off.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@697 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -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 |