Discussion :

[prgasp77]

Bonjour,
sur un type « polynome », j'ai défini les opérateurs +:, *:, *> et ^:. J'aimerais définir une priorité sur ces opérateurs (qui a la précédence sur qui) afin qu'OCaml évalue correctement des expressions comme 2*>x +: 3*>x^:2 +: x^:3 en 2x + 3x^2 + x^3.
Actuellement, il interprète l'exemple ci-dessus comme 2x + (3x)^2 + x^3 .

Merci de votre aide.

[gasche]

La priorité et l'associativité des opérateurs en OCaml est fixée à l'avance, déterminée par les premiers caractères de l'opérateur. Par exemple "*:" a plus haute priorité que "+:".

La table de priorité et associativité est décrite dans le manuel.

Si tu veux un opérateur puissance avec la bonne priorité par rapport à la multiplication, il faut que tu le préfixes avec quelque chose de plus haut que "*..." dans cette table. Tu n'as pas beaucoup de choix à part "**...". ( **: ) conviendrait, par exemple.

La grammaire des opérateurs valides (et de leur statut infixe ou préfixe) est elle aussi dans le manuel.

[prgasp77]

Merci pour cette réponse complète.