From e77d8f528601399ae53ba865ed2d71a7ff96ee9f Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 3 Sep 2001 12:54:52 +0000
Subject: comment out debug messages

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

diff --git a/frontend/type.icl b/frontend/type.icl
index 008474f..5962db8 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -300,7 +300,7 @@ unifyTypes tv=:(TempV tv_number) attr1 type2 attr2 modules subst heaps
 		unify_variable_with_type tv_number type subst
 			| containsTypeVariable tv_number type subst
 				= (False, subst)
-					---> "unify_variable_with_type"
+//					---> "unify_variable_with_type"
 				= (True, { subst & [tv_number] = type})
 unifyTypes type attr1 tv=:(TempV _) attr2 modules subst heaps
 	= unifyTypes tv attr2 type attr1 modules subst heaps
@@ -324,7 +324,7 @@ unifyTypes t1=:(TA cons_id1 cons_args1) attr1 t2=:(TA cons_id2 cons_args2) attr2
 		| succ1 || succ2
 			= unifyTypes t1 attr1 t2 attr2 modules subst heaps
 			= (False, subst, heaps)
-				---> "unifyTypes1"
+//				---> "unifyTypes1"
 unifyTypes (cons_var :@: types) attr1 type2 attr2 modules subst heaps
 	# (_, type2, heaps) = tryToExpand type2 attr2 modules.ti_common_defs heaps
 	= unifyTypeApplications cons_var attr1 types type2 attr2 modules subst heaps
-- 
cgit v1.2.3