fix: bugs with binary and unary operations

raf-nr · Nov 28, 2024 · 648dd65 · 648dd65
1 parent 079f1c4
commit 648dd65
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/lib/parser/expression.ml b/lib/parser/expression.ml
@@ -118,7 +118,7 @@ let parse_tuple p =
   let parse_expr =
     choice
       [ p.parse_type_defition p
-        (* p.parse_binary_operation p *)
+      ; p.parse_binary_operation p
       ; p.parse_application p
       ; p.parse_unary_operation p
       ; p.parse_fun p
@@ -301,9 +301,9 @@ let parse_application p =
   let parse_expr =
     choice
       [ p.parse_type_defition p
-        (* p.parse_binary_operation p *)
-      ; p.parse_unary_operation p
-      ; p.parse_fun p
+      ; parens @@ p.parse_binary_operation p
+      ; parens @@ p.parse_unary_operation p
+      ; parens @@ p.parse_fun p
       ; p.parse_function p
       ; p.parse_let_in p
       ; p.parse_if_then_else p
@@ -333,17 +333,17 @@ let parse_binary_operation p =
   let parse_expr =
     choice
       [ p.parse_type_defition p
+      ; p.parse_application p
       ; parens self
       ; p.parse_unary_operation p
-      ; p.parse_tuple p
-      ; p.parse_application p
       ; p.parse_fun p
       ; p.parse_function p
       ; p.parse_let_in p
       ; p.parse_match_with p
       ; p.parse_if_then_else p
       ; p.parse_constant_expr
       ; p.parse_identifier_expr
+      ; parens @@ p.parse_tuple p
       ]
   in