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