From 8815a6dfdf94e68d1c6081f386564f8500985ee8 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 10 Jun 2016 11:02:48 +0000
Subject: 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
---
 frontend/syntax.dcl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend/syntax.dcl')

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 =
-- 
cgit v1.2.3