aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartinw2000-04-12 12:28:07 +0000
committermartinw2000-04-12 12:28:07 +0000
commitbcb355ab25ab313966bba184421fc64c4e9a5567 (patch)
tree0fa90ca8f23bc7f0ec9012abb033a357609a8ff7
parentremoving record field "lei_strict" that became superflous due to the last rev... (diff)
small bugfix
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@125 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/comparedefimp.icl5
1 files changed, 5 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index 0c36b74..1517ee6 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -907,6 +907,11 @@ e_corresponds_app_symb dcl_app_symb=:{symb_kind=SK_OverloadedFunction dcl_glob_i
ec_state
= continuation_for_possibly_twice_defined_funs dcl_app_symb dcl_glob_index icl_app_symb icl_glob_index
ec_state
+e_corresponds_app_symb dcl_app_symb=:{symb_kind=SK_Macro dcl_glob_index}
+ icl_app_symb=:{symb_kind=SK_Macro icl_glob_index}
+ ec_state
+ = continuation_for_possibly_twice_defined_funs dcl_app_symb dcl_glob_index icl_app_symb icl_glob_index
+ ec_state
e_corresponds_app_symb {symb_name=dcl_symb_name, symb_kind=SK_Constructor dcl_glob_index}
{symb_name=icl_symb_name, symb_kind=SK_Constructor icl_glob_index}
ec_state