diff options
| author | alimarin | 2002-11-12 12:51:32 +0000 |
|---|---|---|
| committer | alimarin | 2002-11-12 12:51:32 +0000 |
| commit | 0ad399e1eaa9eb991c46facede40a66fd04ee92b (patch) | |
| tree | 2f9c5aaec80ebc88711545f387a581ddb63c9e38 /frontend/comparedefimp.icl | |
| parent | Made modulename <> filename a proper error (diff) | |
bugs fixed in generics
- compare def imp for generics
- foldExpr
- type synonym expansion
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1273 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 314a587..55850a4 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -1195,6 +1195,12 @@ e_corresponds_app_symb dcl_app_symb=:{symb_name, symb_kind=SK_OverloadedFunction | dcl_glob_index<>icl_glob_index = give_error symb_name ec_state = ec_state +e_corresponds_app_symb dcl_app_symb=:{symb_name, symb_kind=SK_Generic dcl_glob_index dcl_kind} + icl_app_symb=:{symb_kind=SK_Generic icl_glob_index icl_kind} + ec_state + | dcl_glob_index<>icl_glob_index || dcl_kind <> icl_kind + = give_error symb_name ec_state + = ec_state e_corresponds_app_symb dcl_app_symb=:{symb_kind=SK_DclMacro dcl_glob_index} icl_app_symb=:{symb_kind=SK_IclMacro icl_index} ec_state = continuation_for_possibly_twice_defined_macros dcl_app_symb dcl_glob_index.glob_module dcl_glob_index.glob_object icl_app_symb icl_index ec_state e_corresponds_app_symb dcl_app_symb=:{symb_name,symb_kind=SK_DclMacro dcl_glob_index} icl_app_symb=:{symb_kind=SK_DclMacro icl_glob_index} ec_state |