Re: [PATCH 3/3] doc: introduce api.pure full, rearrange some examples

[Akim Demaille]

Le 28 nov. 2012 à 10:30, Theophile Ranquet <address@hidden> 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.