>>> "Joel" == Joel E Denny <[EMAIL PROTECTED]> writes:
> On Wed, 7 Dec 2005, Akim Demaille wrote: >>>>> "Joel" == Joel E Denny <[EMAIL PROTECTED]> writes: >> >> > On Wed, 7 Dec 2005, Akim Demaille wrote: >> >>>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes: >> >> >> >> > Why can't we simply rewrite the code so that it doesn't declare >> >> > unused variables? >> >> >> >> Because you don't know whether yyerror, for instance, will use the >> >> location, or the %parse-param. But some users need them there. >> >> > But the user writes yyerror, and I don't believe YYUSE is documented for >> > the user to invoke. >> >> Right :) Consider the %printers and %destructors for instance. > In those cases, it also seems reasonable to leave it in the hands of the > user. That is, if the user doesn't reference a semantic value in its > printer or destructor, why did he declare its printer or destructor? Is > this a legitimate usage? Shouldn't he be warned *somehow*? Maybe even by > bison? Whether $$ occurs can be computed. In the case of %printer the issue is a bit different: if you use %parse-param, these additional arguments are available in the printers and dtors. So is the location: you might be willing to use it for instance of log something. So it makes sense to provide them in all the cases. _______________________________________________ Help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison