Re: [PATCH 6/7] rule actions cannot be typed

[Hans Åberg]

> On 5 Aug 2018, at 16:09, Akim Demaille <akim.demai...@gmail.com> wrote:
> 
> Make sure that we cannot apply a type to the (main) action of a rule.

It might be retained, in case one wants to display it for clarity, say in a 
long grammar.