diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
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 |