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