From f4c208c50de67305d7929ce1f5b0588e37a5bd9b Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 17 Jul 2002 13:09:06 +0000
Subject: add abstract synonym types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1154 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/comparedefimp.icl | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'frontend')

diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index 2538fb7..06abc56 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -77,6 +77,9 @@ where
 
 	compare_rhs_of_types (AbstractType _) icl_type dcl_cons_defs icl_cons_defs comp_st
 		= (True, icl_cons_defs, comp_st)
+	compare_rhs_of_types (AbstractSynType _ dclType) (SynType iclType) dcl_cons_defs icl_cons_defs comp_st
+		# (ok, comp_st) = compare dclType iclType comp_st
+		= (ok, icl_cons_defs, comp_st)
 	compare_rhs_of_types dcl_type icl_type dcl_cons_defs icl_cons_defs comp_st
 		= (False, icl_cons_defs, comp_st)
 	
@@ -851,6 +854,9 @@ instance t_corresponds TypeRhs where
 		=	t_corresponds dclRecord iclRecord
 	t_corresponds (AbstractType _) _
 		=	return True
+	t_corresponds (AbstractSynType _ dclType) (SynType iclType)
+		=	t_corresponds dclType iclType
+
 // sanity check ...
 	t_corresponds UnknownType _
 		=	undef // <<- "t_corresponds (TypeRhs): dclDef == UnknownType" 
-- 
cgit v1.2.3