[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: glr: include the created header
From: |
Joel E. Denny |
Subject: |
Re: glr: include the created header |
Date: |
Sat, 17 Jun 2006 12:57:06 -0400 (EDT) |
On Sat, 17 Jun 2006, Akim Demaille wrote:
> The more I think about it, the more I like a simple solution which does
> rely on %union to distinguish cases.
Having tried that solution (the first patch), I found it to be more
complex in implementation, interface, and documentation. I prefer the
explicit declarations with no subtle behavior.
> Even when we have %import we will
> still be able to distinguish them.
I can't comment there because I don't know how %import will behave.
However, the old solution is restrictive in another way. It requires you
to have a %union in order to separate pre's from post's even when you
don't want a %union. The union is just one of several Bison-generated
definitions that might need to divide user code in the header file.
Joel
- Re: glr: include the created header, Joel E. Denny, 2006/06/11
- Re: glr: include the created header, Joel E. Denny, 2006/06/14
- Re: glr: include the created header, Paul Eggert, 2006/06/15
- Re: glr: include the created header, Joel E. Denny, 2006/06/15
- Re: glr: include the created header, Joel E. Denny, 2006/06/16
- Re: glr: include the created header, Paul Eggert, 2006/06/16
- Re: glr: include the created header, Akim Demaille, 2006/06/16
- Re: glr: include the created header, Joel E. Denny, 2006/06/16
- Re: glr: include the created header, Akim Demaille, 2006/06/17
- Re: glr: include the created header,
Joel E. Denny <=
- Re: glr: include the created header, Joel E. Denny, 2006/06/16
- Re: glr: include the created header, Akim Demaille, 2006/06/17
- Re: glr: include the created header, Joel E. Denny, 2006/06/17
- Re: glr: include the created header, Joel E. Denny, 2006/06/19
- Re: glr: include the created header, Joel E. Denny, 2006/06/19
- Re: glr: include the created header, Joel E. Denny, 2006/06/19
- Re: glr: include the created header, Paul Eggert, 2006/06/19
- Re: glr: include the created header, Joel E. Denny, 2006/06/19
- Re: glr: include the created header, Joel E. Denny, 2006/06/20
- Re: glr: include the created header, Akim Demaille, 2006/06/27