[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 15/22] %merge: clearer tests on diagnostics
From: |
Akim Demaille |
Subject: |
[PATCH 15/22] %merge: clearer tests on diagnostics |
Date: |
Sat, 23 Jan 2021 15:55:54 +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 f59647566..a6deb9c90 100644
--- a/tests/glr-regression.at
+++ b/tests/glr-regression.at
@@ -1675,11 +1675,19 @@ sym3: %merge<merge> { $$ = 0; } ;
]])
AT_BISON_OPTION_POPDEFS
-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:28.18-24: error: result type clash on merge function 'merge':
<type2> != <type1>
+ 28 | sym2: sym3 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
glr-regr18.y:27.18-24: note: previous declaration
+ 27 | sym1: sym2 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
glr-regr18.y:29.13-19: error: result type clash on merge function 'merge':
<type3> != <type2>
+ 29 | sym3: %merge<merge> { $$ = 0; } ;
+ | ^~~~~~~
glr-regr18.y:28.18-24: note: previous declaration
+ 28 | sym2: sym3 %merge<merge> { $$ = $][1; } ;
+ | ^~~~~~~
]])
AT_CLEANUP
--
2.30.0
- [PATCH 05/22] tables: avoid warnings and save bits, (continued)
- [PATCH 05/22] tables: avoid warnings and save bits, Akim Demaille, 2021/01/23
- [PATCH 06/22] glr.cc: don't "leak" yyparse, Akim Demaille, 2021/01/23
- [PATCH 07/22] c++: I'm tired of Flex's warnings, Akim Demaille, 2021/01/23
- [PATCH 08/22] cex: send traces to stderr, not stdout, Akim Demaille, 2021/01/23
- [PATCH 09/22] cex: add support for $TIME_LIMIT, Akim Demaille, 2021/01/23
- [PATCH 10/22] cex: fix traces: add missing end-of-lines, Akim Demaille, 2021/01/23
- [PATCH 11/22] cex: fix traces: fix display of disabled items, Akim Demaille, 2021/01/23
- [PATCH 12/22] package: codespell, Akim Demaille, 2021/01/23
- [PATCH 13/22] style: YYUSE is private, make it YY_USE, Akim Demaille, 2021/01/23
- [PATCH 14/22] skeletons: introduce "slot"s for symbols, Akim Demaille, 2021/01/23
- [PATCH 15/22] %merge: clearer tests on diagnostics,
Akim Demaille <=
- [PATCH 16/22] %merge: let mergers record a typing-symbol, rather than a type, Akim Demaille, 2021/01/23
- [PATCH 17/22] %merge: delegate the generation of calls to mergers to m4, Akim Demaille, 2021/01/23
- [PATCH 18/22] %merge: fix compatibility with api.value.type=union, Akim Demaille, 2021/01/23
- [PATCH 19/22] %merge: associate it to its first definition, not the latest, Akim Demaille, 2021/01/23
- [PATCH 20/22] package: bump copyrights to 2021, Akim Demaille, 2021/01/23
- [PATCH 21/22] news: update, Akim Demaille, 2021/01/23
- [PATCH 22/22] package: pacify syntax-check, Akim Demaille, 2021/01/23