bison-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: %push-* -> %define push_pull


From: Paolo Bonzini
Subject: Re: %push-* -> %define push_pull
Date: Tue, 25 Sep 2007 08:13:23 +0200
User-agent: Thunderbird 2.0.0.6 (Macintosh/20070728)

+       Replace `%push-parser' and `%push-pull-parser' with
+       `%define push_pull "push"' and `%define push_pull "both"'.
+       `%define push_pull "pull"' is the default.

Good idea.  What about "%define interface" or "%define api" instead?

Paolo




reply via email to

[Prev in Thread] Current Thread [Next in Thread]