Re: Eliminating conflicts of parenthesized subexpressions

[Hans Aberg]

At 11:05 +0200 2004/09/16, Akim Demaille wrote:
>     > >> So a simple form of type checking might also do the trick here;
>     > >> however, type checking is better not done in the grammar, I think.
>     >
>     > > I looked a bit in Aho, Sethi & Ullman, "Compilers..." (the Dragon
>     > > book), p.  351 ff., and they do it in the actions.
>
>That's when I answered about several passes.  But now you say that
>"[you] did not, in any case [ad a multipass in his mind]".  That
>wasn't clear.

There is probably a confusion of topic. In the quoted text, they merely
check operator types in the actions, and generate an error if there is not
a correct matching. Probably very mundane relative to the problems you
normally stick your head into. :-)

  Hans Aberg