Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit d1784bcc authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

fix py_parser.mly for older menhir

parent 257e1274
......@@ -264,8 +264,8 @@ term_:
| Tinfix (l,o,r) -> Tinnfix (l,o,r) | d -> d }
| NOT term
{ Tunop (Tnot, $2) }
| prefix_op term %prec prec_prefix_op
{ Tidapp (Qident $1, [$2]) }
| o = prefix_op ; t = term %prec prec_prefix_op
{ Tidapp (Qident o, [t]) }
| l = term ; o = bin_op ; r = term
{ Tbinop (l, o, r) }
| l = term ; o = infix_op ; r = term
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment