aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2012-05-03 15:22:07 +0000
committerjohnvg2012-05-03 15:22:07 +0000
commit662c6e5b674730b4ce68e74e77c9b1703c842cda (patch)
tree0020e9c615840f3fd778c598f108ae71bdec5166 /frontend/syntax.dcl
parentprint some generic contexts using generic_function_name{|kind|} (diff)
in error message for incorrect field type print name of field instead of argument number of record
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2065 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl3
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 14a3e8b..6b15767 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1424,7 +1424,8 @@ instance == OverloadedListType
:: CoercionPosition
= CP_Expression !Expression
- | CP_FunArg !Ident !Int // Function symbol, argument position (>=1)
+ | CP_FunArg !Ident !Int // Function or constructor ident, argument position (>=1)
+ | CP_SymbArg !SymbIdent !Int // Function or constructor symbol, argument position (>=1)
| CP_LiftedFunArg !Ident !Ident // Function symbol, lifted argument ident
:: IdentPos =