diff options
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index fc02ce0..449f6cd 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -814,11 +814,13 @@ e_corresponds_app_symb dcl_app_symb=:{symb_name, symb_kind=SK_Function dcl_glob_ #! main_dcl_module_n = ec_state.ec_main_dcl_module_n | dcl_glob_index.glob_module==main_dcl_module_n && icl_glob_index.glob_module==main_dcl_module_n # dcl_glob_object = dcl_glob_index.glob_object +/* is_indeed_a_macro = ec_state.ec_dcl_macro_range.ir_from <= dcl_glob_object && dcl_glob_object < ec_state.ec_dcl_macro_range.ir_to | is_indeed_a_macro = continuation_for_possibly_twice_defined_macros dcl_app_symb dcl_glob_object icl_app_symb icl_glob_index.glob_object ec_state +*/ | ec_state.ec_function_conversions.[dcl_glob_object]<>icl_glob_index.glob_object = give_error symb_name ec_state = ec_state @@ -926,3 +928,4 @@ do_nothing ec_state give_error s ec_state = { ec_state & ec_error_admin = checkError s error_message ec_state.ec_error_admin } + |