[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
(no subject)
From: |
haberg |
Subject: |
(no subject) |
Date: |
Wed, 12 Jul 2006 15:36:38 -0400 |
@nostromo.lrde.epita.fr>
Mime-Version: 1.0 (Apple Message framework v752.2)
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
Message-Id: <address@hidden>
Cc: "Joel E. Denny" <address@hidden>,
Paul Eggert <address@hidden>,
address@hidden
Content-Transfer-Encoding: 7bit
From: Hans Aberg <address@hidden>
Subject: Re: %type {...} a b c
Date: Wed, 12 Jul 2006 21:35:46 +0200
To: Akim Demaille <address@hidden>
X-Mailer: Apple Mail (2.752.2)
On 12 Jul 2006, at 17:51, Akim Demaille wrote:
>>>> "Joel" == Joel E Denny <address@hidden> writes:
>
>> I like the idea of equating a semantic type with a type in the
>> target language rather than with a union field name. I also see
>> how modules might conflict on a field name, but types don't have
>> that problem.
>
> It also solves one of the issues to support C++ variants in bison,
> where we do not rely on a union, but on a templated structure,
> parametrized by the various types. That's *if* we use Boost Variants.
Those seem OK for the specialty programmer, though not for general
use. :-) But when static typing is used, one will hit the problem
with the implementation of default rules, which will be $<type>$ =
$<type>1 instead of the current untyped $$ = $1.
Hans Aberg
- Re: %type {...} a b c, (continued)
- %merge <foo> -> %merge foo ?, Paul Eggert, 2006/07/12
- Re: %merge <foo> -> %merge foo ?, Joel E. Denny, 2006/07/12
- Re: %merge <foo> -> %merge foo ?, Joel E. Denny, 2006/07/12
- Re: %merge <foo> -> %merge foo ?, Akim Demaille, 2006/07/13
- Re: %merge <foo> -> %merge foo ?, Akim Demaille, 2006/07/13
- Re: %type {...} a b c, Akim Demaille, 2006/07/13
- (no subject),
haberg <=