mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 04:13:03 +00:00
carets: document default activation
* NEWS: Announce it. * doc/bison.texi: Adjust.
This commit is contained in:
6
NEWS
6
NEWS
@@ -16,6 +16,12 @@ GNU Bison NEWS
|
|||||||
|
|
||||||
** Warnings
|
** Warnings
|
||||||
|
|
||||||
|
*** Carets
|
||||||
|
|
||||||
|
Version 2.7 introduced caret errors, for a prettier output. These are now
|
||||||
|
activated by default. The old format can still be used by invoking Bison
|
||||||
|
with -fno-caret (or -fnone).
|
||||||
|
|
||||||
*** Enhancements of the -Werror option
|
*** Enhancements of the -Werror option
|
||||||
|
|
||||||
The -Werror=CATEGORY option is now recognized, and will treat specified
|
The -Werror=CATEGORY option is now recognized, and will treat specified
|
||||||
|
|||||||
@@ -9774,7 +9774,7 @@ an example, using the following file @file{in.y}:
|
|||||||
exp: exp '+' exp @{ $exp = $1 + $2; @};
|
exp: exp '+' exp @{ $exp = $1 + $2; @};
|
||||||
@end example
|
@end example
|
||||||
|
|
||||||
When invoked with @option{-fcaret}, Bison will report:
|
When invoked with @option{-fcaret} (or nothing), Bison will report:
|
||||||
|
|
||||||
@example
|
@example
|
||||||
@group
|
@group
|
||||||
@@ -9804,6 +9804,20 @@ in.y:3.32-33: error: $2 of 'exp' has no declared type
|
|||||||
@end group
|
@end group
|
||||||
@end example
|
@end example
|
||||||
|
|
||||||
|
Whereas, when invoked with @option{-fno-caret}, Bison will only report:
|
||||||
|
|
||||||
|
@example
|
||||||
|
@group
|
||||||
|
in.y:3.20-23: error: ambiguous reference: ‘$exp’
|
||||||
|
in.y:3.1-3: refers to: $exp at $$
|
||||||
|
in.y:3.6-8: refers to: $exp at $1
|
||||||
|
in.y:3.14-16: refers to: $exp at $3
|
||||||
|
in.y:3.32-33: error: $2 of ‘exp’ has no declared type
|
||||||
|
@end group
|
||||||
|
@end example
|
||||||
|
|
||||||
|
This option is activated by default.
|
||||||
|
|
||||||
@end table
|
@end table
|
||||||
@end table
|
@end table
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user