From f66e7927cffde27a097acc68a0bb4256b01a585d Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 20 Nov 2007 11:53:01 +0000
Subject: change error: type variable of type of lifted argument .. appears in
 the specified type

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

(limited to 'frontend')

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 32e5419..6e2bf7c 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -303,9 +303,9 @@ existentialError err
 	# err = errorHeading "Type error" err
 	= { err & ea_file = err.ea_file <<< "existential type variable appears in the derived type specification\n" }
 
-liftedError var err
+liftedError type_var err
 	# err = errorHeading "Type error" err
-	= { err & ea_file = err.ea_file <<< "type variable of type of lifted argument " <<< var <<< " appears in the specified type\n" }
+	= { err & ea_file = err.ea_file <<< "type variable " <<< type_var <<< " of type of lifted argument appears in the specified type\n" }
 
 startRuleError mess err
 	# err = errorHeading "Type error" err
-- 
cgit v1.2.3