Le 28 nov. 2012 à 10:30, Theophile Ranquet <[email protected]> a
écrit :
> diff --git a/NEWS b/NEWS
> index 3789e92..e7883c6 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -2,6 +2,17 @@ GNU Bison NEWS
>
> * Noteworthy changes in release ?.? (????-??-??) [?]
>
> +** New value for %define variable: api.pure full
> +
> + The %define variable api.pure requests a pure (reentrant) parser. However,
> + for historical reasons, using it in a location-tracking Yacc parser
> resulted
> + in an yyerror function that did not take a location as a parameter. With
> this
> + new value, the user may request a better pure parser, where yyerror does
> take
> + a location as a parameter (in location-tracking parsers).
> +
> + The use of "%define api.pure true" should be deprecated in favor of this
> new
> + "%define api.pure full".
should be -> is
> diff --git a/doc/bison.texi b/doc/bison.texi
> index f2d3dbc..373f738 100644
> --- a/doc/bison.texi
> +++ b/doc/bison.texi
> @@ -4885,7 +4885,7 @@ declaration @code{%define api.pure} says that you want
> the parser to be
You should check every occurrence of api.pure, see right above.
Please make these few changes, and push.
