From e7ea2e4a3696922ada9c024de4671dc9e6219f1c Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 27 Sep 2005 14:32:01 +0000
Subject: add alternative for TArrow in bindInstances to prevent compiler crash
 for:

:: EP a = C (a Int Int);

Start :: EP (->);
Start = Start;


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

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index b98a9c8..b42bc4b 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -626,12 +626,12 @@ instance bindInstances Type
 		= bindInstances arg_types1 arg_types2 type_var_heap
 	bindInstances (l1 --> r1) (l2 --> r2) type_var_heap
 		= bindInstances r1 r2 (bindInstances l1 l2 type_var_heap)
-//AA..
-	bindInstances (TArrow1 x1) (TArrow1 x2) type_var_heap
-		= bindInstances x1 x2 type_var_heap
-//..AA
 	bindInstances (TB _) (TB _) type_var_heap
 		= type_var_heap
+	bindInstances TArrow TArrow type_var_heap
+		= type_var_heap
+	bindInstances (TArrow1 x1) (TArrow1 x2) type_var_heap
+		= bindInstances x1 x2 type_var_heap
 	bindInstances (TFA _ type1) (TFA _ type2) type_var_heap
 		= bindInstances type1 type2 type_var_heap
 	bindInstances (CV l1 :@: r1) (CV l2 :@: r2) type_var_heap
-- 
cgit v1.2.3