%merge: clearer tests on diagnostics

* tests/glr-regression.at: Use caret errors.
This commit is contained in:
Akim Demaille
2020-12-30 08:25:39 +01:00
parent c73dcd6958
commit 0317055bb0

View File

@@ -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