From 22fb78252040fdfc120039ba81f0642ddd8ef8b9 Mon Sep 17 00:00:00 2001
From: martinw
Date: Tue, 15 Aug 2000 11:20:50 +0000
Subject: improved typing error messages: type variables are printed like "a"
 instead of "v314", case defaults and guards now also have file position
 information.

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

(limited to 'frontend/StdCompare.icl')

diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl
index b9785ca..4dc82c4 100644
--- a/frontend/StdCompare.icl
+++ b/frontend/StdCompare.icl
@@ -74,6 +74,14 @@ where
 			= type1 == type2 && types1 == types2
 		equal_constructor_args (TQV varid1) (TQV varid2)
 			= varid1 == varid2
+// MW4..
+		equal_constructor_args (GTV varid1) (GTV varid2)
+			= varid1 == varid2
+		equal_constructor_args (TempQV varid1) (TempQV varid2)
+			= varid1 == varid2
+		equal_constructor_args (TLifted varid1) (TLifted varid2)
+			= varid1 == varid2
+// ..MW4
 		equal_constructor_args type1 type2
 			= True
 
-- 
cgit v1.2.3