From 0ad399e1eaa9eb991c46facede40a66fd04ee92b Mon Sep 17 00:00:00 2001
From: alimarin
Date: Tue, 12 Nov 2002 12:51:32 +0000
Subject: 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
---
 frontend/comparedefimp.icl | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'frontend/comparedefimp.icl')

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
-- 
cgit v1.2.3