From 664c26727ac44e261c0d8863f727701988f00dfe Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 12 Jul 2002 14:23:16 +0000
Subject: added CP_LiftedFunArg

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1144 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 1 +
 frontend/syntax.icl | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

(limited to 'frontend')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index e6baf30..787e428 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1345,6 +1345,7 @@ instance == OverloadedListType
 ::	CoercionPosition
 	=	CP_Expression !Expression
 	|	CP_FunArg !Ident !Int // Function symbol, argument position (>=1)
+	|	CP_LiftedFunArg !Ident !Ident // Function symbol, lifted argument ident
 	
 ::	IdentPos =
 	{	ip_ident	:: !Ident
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index 1f78c2c..147cd5a 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -1314,6 +1314,7 @@ cIsNotStrict	:== False
 ::	CoercionPosition
 	=	CP_Expression !Expression
 	|	CP_FunArg !Ident !Int // Function symbol, argument position (>=1)
+	|	CP_LiftedFunArg !Ident !Ident // Function symbol, lifted argument ident
 
 ::	IdentPos =
 	{	ip_ident	:: !Ident
@@ -2168,7 +2169,10 @@ where
 
 instance <<< CoercionPosition
 where
-	(<<<) file (CP_FunArg fun_name arg_nr) = file <<< "argument " <<< arg_nr <<< " of " <<< readable fun_name
+	(<<<) file (CP_FunArg fun_name arg_nr)
+		= file <<< "argument " <<< arg_nr <<< " of " <<< readable fun_name
+	(<<<) file (CP_LiftedFunArg fun_name arg_name)
+		= file <<< "lifted argument " <<< arg_name <<< " of " <<< readable fun_name
 	(<<<) file (CP_Expression expression) = show_expression file expression
 	where
 		show_expression file (Var {var_name})
-- 
cgit v1.2.3