aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2016-06-10 11:02:48 +0000
committerjohnvg2016-06-10 11:02:48 +0000
commit8815a6dfdf94e68d1c6081f386564f8500985ee8 (patch)
treebf86c491cd389cdf0f3ca3546b91b8f0bb13e70a /frontend/syntax.dcl
parentpass -dynamics to backend (diff)
add Expression to CP_SymbArg and rename as CP_SymbArgAndExpression,
print expression in error message in cannot_unify git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2732 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 066c32d..7d1b086 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1513,7 +1513,7 @@ instance == OverloadedListType
:: CoercionPosition
= CP_Expression !Expression
| CP_FunArg !Ident !Int // Function or constructor ident, argument position (>=1)
- | CP_SymbArg !SymbIdent !Int // Function or constructor symbol, argument position (>=1)
+ | CP_SymbArgAndExpression !SymbIdent !Int !Expression // Function or constructor symbol, argument position (>=1)
| CP_LiftedFunArg !Ident !Ident // Function symbol, lifted argument ident
:: IdentPos =