> Le 5 août 2018 à 21:54, Hans Åberg <haber...@telia.com> a écrit :
>> 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.

But then you have to make sure it’s consistent.

Rici suggested a similar feature at the bottom of this message.


His suggestion is more ‘factored’: you’d do it once for the LHS
of typically many rules, instead of doing it for each action.

Reply via email to