fix the associativity of binary operators

gfngfn · Dec 12, 2021 · 5b11d37 · 5b11d37
1 parent a37ba50
commit 5b11d37
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/parser.mly b/src/parser.mly
@@ -565,13 +565,13 @@ exprcons:
   | e=exprplus { e }
 ;
 exprplus:
-  | e1=exprtimes; op=BINOP_PLUS; e2=exprplus  { binary e1 op e2 }
-  | e1=exprtimes; op=BINOP_MINUS; e2=exprplus { binary e1 op e2 }
+  | e1=exprplus; op=BINOP_PLUS; e2=exprtimes  { binary e1 op e2 }
+  | e1=exprplus; op=BINOP_MINUS; e2=exprtimes { binary e1 op e2 }
   | e=exprtimes                               { e }
 ;
 exprtimes:
-  | e1=exprapp; op=BINOP_TIMES; e2=exprtimes   { binary e1 op e2 }
-  | e1=exprapp; op=BINOP_DIVIDES; e2=exprtimes { binary e1 op e2 }
+  | e1=exprtimes; op=BINOP_TIMES; e2=exprapp   { binary e1 op e2 }
+  | e1=exprtimes; op=BINOP_DIVIDES; e2=exprapp { binary e1 op e2 }
   | e=exprapp                                  { e }
 ;
 exprapp: