Re: [ENHANCEMENT] Change format of %{ %}

[Akim Demaille]

Hi Arthur,

> Le 15 janv. 2014 à 00:52, Arthur Schwarz <address@hidden> 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
> _______________________________________________
> address@hidden https://lists.gnu.org/mailman/listinfo/help-bison