Re: [Typer] empty_args_are_not_args

Prenons cet exemple.

1 + 2 + 3 +

Remarue que c'est géré de manière différente de

1 ; 2 ; 3 ;

Le premier est parsé comme:

(_+_ 1 (_+_ 2 (_+_ 3 ##)))

tandis que le deuxième est parsé comme:

(_;_ 1 2 3)

La différence est que la précédence de `_;_` est la même à gauche qu'à droite (donc c'est des opérateurs "n-ary" contrairement à _+_ qui est binaire). `empty_args_are_not_args` ne s'applique qu'à ces opérateurs n-ary.

Stefan