Hi Arthur,
> Le 15 janv. 2014 à 00:52, Arthur Schwarz <[email protected]> a écrit :
>
> All the code placement options end in '}' except "%{" which ends with "$}".
> For conformity maybe its time to obsolete the "%}" ending and change to '}'
Cannot do that: %{ ... %} is mandated by POSIX Yacc. It wouldn't be
helpful to our users to deprecate that.
FWIW, I often get caught myself.
Cheers!
> This then becomes:
> %{ } obsoleting %{ %}
> %code { }
> %code top { }
> %code required { }
> %code provided { }
>
> thanks
> art
> _______________________________________________
> [email protected] https://lists.gnu.org/mailman/listinfo/help-bison
