Re: %destructor feedback

2005-12-21 Thread Akim Demaille
Paul == Paul Eggert [EMAIL PROTECTED] writes: - we desire that in all the skeletons no $n is ever freed from an active rule, even if we leave it using YYACCEPT, YYERROR, or YYABORT. Yes, that sounds right. Well, AFAICS that's already the behavior in glr.c, isn't it? Otherwise I missed

Re: %destructor feedback

2005-12-21 Thread Akim Demaille
Paul == Paul Eggert [EMAIL PROTECTED] writes: These two patches are still pending in this area. http://lists.gnu.org/archive/html/bison-patches/2005-12/msg00048.html http://lists.gnu.org/archive/html/bison-patches/2005-12/msg00049.html The former is more important. I'd like Paul H.'s

Re: %destructor feedback

2005-12-21 Thread Joel E. Denny
On Wed, 21 Dec 2005, Akim Demaille wrote: Paul == Paul Eggert [EMAIL PROTECTED] writes: These two patches are still pending in this area. http://lists.gnu.org/archive/html/bison-patches/2005-12/msg00048.html http://lists.gnu.org/archive/html/bison-patches/2005-12/msg00049.html

Re: %destructor feedback

2005-12-21 Thread Joel E. Denny
On Wed, 21 Dec 2005, Akim Demaille wrote: Paul == Paul Eggert [EMAIL PROTECTED] writes: - we desire that in all the skeletons no $n is ever freed from an active rule, even if we leave it using YYACCEPT, YYERROR, or YYABORT. Yes, that sounds right. Well, AFAICS that's already

Re: Get Off List

2005-12-21 Thread Bob Rossi
On Wed, Dec 21, 2005 at 06:37:03PM -0500, [EMAIL PROTECTED] wrote: Hello Folks: I would like to cease getting E-mails, but I haven't found an obvious way to get off. Please advise. Go to http://lists.gnu.org/mailman/listinfo/help-bison/ and use the Unsubscribe button. Bob Rossi

Re: %destructor feedback

2005-12-21 Thread SteveBravy
In a message dated 12/21/2005 3:11:10 P.M. Eastern Standard Time, [EMAIL PROTECTED] writes: On Wed, 21 Dec 2005, Akim Demaille wrote: Paul == Paul Eggert [EMAIL PROTECTED] writes: - we desire that in all the skeletons no $n is ever freed from an active rule, even if we leave it

Re: %destructor feedback

2005-12-21 Thread Joel E. Denny
On Wed, 21 Dec 2005 [EMAIL PROTECTED] wrote: ___ Help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison Hello Folks: I'd like to get off this E-mail list but don't know how to do so. Can any of you give me a hand?