> 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.
> 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.