[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 1/6] %merge: clearer tests on diagnostics
From: |
Akim Demaille |
Subject: |
[PATCH 1/6] %merge: clearer tests on diagnostics |
Date: |
Thu, 31 Dec 2020 08:14:33 +0100 |
* tests/glr-regression.at: Use caret errors.
---
tests/glr-regression.at | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/tests/glr-regression.at b/tests/glr-regression.at
index 2de9e616..49451daf 100644
--- a/tests/glr-regression.at
+++ b/tests/glr-regression.at
@@ -1944,11 +1944,19 @@ sym3: %merge<merge> { $$ = 0; } ;
]AT_MAIN_DEFINE[
]])
-AT_BISON_CHECK([[-o glr-regr18.c -rall glr-regr18.y]], 1, [],
+AT_BISON_CHECK([[-o glr-regr18.c -rall -fcaret glr-regr18.y]], 1, [],
[[glr-regr18.y:30.18-24: error: result type clash on merge function 'merge':
<type2> != <type1>
+ 30 | sym2: sym3 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
glr-regr18.y:29.18-24: note: previous declaration
+ 29 | sym1: sym2 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
glr-regr18.y:31.13-19: error: result type clash on merge function 'merge':
<type3> != <type2>
+ 31 | sym3: %merge<merge> { $$ = 0; } ;
+ | ^~~~~~~
glr-regr18.y:30.18-24: note: previous declaration
+ 30 | sym2: sym3 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
]])
AT_BISON_OPTION_POPDEFS
--
2.29.2
- [PATCH 0/6] glr: fix compatibility bw %merge and api.value.type=union, Akim Demaille, 2020/12/31
- [PATCH 1/6] %merge: clearer tests on diagnostics,
Akim Demaille <=
- [PATCH 2/6] %merge: let mergers record a typing-symbol, rather than a type, Akim Demaille, 2020/12/31
- [PATCH 3/6] %merge: delegate the generation of calls to mergers to m4, Akim Demaille, 2020/12/31
- [PATCH 5/6] %merge: test support for api.value.type=union, Akim Demaille, 2020/12/31
- [PATCH 4/6] %merge: fix compatibility with api.value.type=union, Akim Demaille, 2020/12/31
- [PATCH 6/6] %merge: associate it to its first definition, not the latest, Akim Demaille, 2020/12/31