From 834d38867b1f6cc65ea4d92c1fb4e03564ab7b25 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 4 Nov 2003 14:06:02 +0000
Subject: compare TFA

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

(limited to 'frontend')

diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index e281d23..4e7502e 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -851,6 +851,9 @@ instance t_corresponds Type where
 		=	t_corresponds dclDef iclDef
 	t_corresponds (GTV dclDef) (GTV iclDef)
 		=	t_corresponds dclDef iclDef
+	t_corresponds (TFA dclVars dclType) (TFA iclVars iclType)
+		=	do (init_atype_vars (dclVars++iclVars))
+		&&&	t_corresponds dclType iclType
 	t_corresponds _ _
 		= return False
 		
-- 
cgit v1.2.3