Remove pipe last (|>) syntax

Author: cknitt

analysis/reanalyze/src/Exception.ml

@@ -304,17 +304,6 @@ let traverseAst () =
       let exceptions = [arg] |> raiseArgs in
       currentEvents := {Event.exceptions; loc; kind = Raises} :: !currentEvents;
       arg |> snd |> iterExprOpt self
-    | Texp_apply
-        {
-          funct = {exp_desc = Texp_ident (atat, _, _)};
-          args = [arg; (_lbl1, Some {exp_desc = Texp_ident (callee, _, _)})];
-        }
-      when (*  Exn(...) |> raise *)
-           atat |> Path.name = "Pervasives.|>" && callee |> Path.name |> isRaise
-      ->
-      let exceptions = [arg] |> raiseArgs in
-      currentEvents := {Event.exceptions; loc; kind = Raises} :: !currentEvents;
-      arg |> snd |> iterExprOpt self
     | Texp_apply {funct = {exp_desc = Texp_ident (callee, _, _)} as e; args} ->
       let calleeName = Path.name callee in
       if calleeName |> isRaise then

compiler/syntax/src/res_comments_table.ml

@@ -1483,9 +1483,8 @@ and walk_expression expr t comments =
                   txt =
                     Longident.Lident
                       ( ":=" | "||" | "&&" | "==" | "===" | "<" | ">" | "!="
-                      | "!==" | "<=" | ">=" | "|>" | "+" | "+." | "-" | "-."
-                      | "++" | "^" | "*" | "*." | "/" | "/." | "**" | "->"
-                      | "<>" );
+                      | "!==" | "<=" | ">=" | "+" | "+." | "-" | "-." | "++"
+                      | "^" | "*" | "*." | "/" | "/." | "**" | "->" | "<>" );
                 };
           };
         args = [(Nolabel, operand1); (Nolabel, operand2)];

compiler/syntax/src/res_core.ml

@@ -2186,25 +2186,9 @@ and parse_binary_expr ?(context = OrdinaryExpr) ?a p prec =
       let b = parse_binary_expr ~context p token_prec in
       let loc = mk_loc a.Parsetree.pexp_loc.loc_start b.pexp_loc.loc_end in
       let expr =
-        match (token, b.pexp_desc) with
-        | ( BarGreater,
-            Pexp_apply {funct = fun_expr; args; partial; transformed_jsx} ) ->
-          {
-            b with
-            pexp_desc =
-              Pexp_apply
-                {
-                  funct = fun_expr;
-                  args = args @ [(Nolabel, a)];
-                  partial;
-                  transformed_jsx;
-                };
-          }
-        | BarGreater, _ -> Ast_helper.Exp.apply ~loc b [(Nolabel, a)]
-        | _ ->
-          Ast_helper.Exp.apply ~loc
-            (make_infix_operator p token start_pos end_pos)
-            [(Nolabel, a); (Nolabel, b)]
+        Ast_helper.Exp.apply ~loc
+          (make_infix_operator p token start_pos end_pos)
+          [(Nolabel, a); (Nolabel, b)]
       in
       Parser.eat_breadcrumb p;
       loop expr)

compiler/syntax/src/res_parsetree_viewer.ml

@@ -280,7 +280,7 @@ let operator_precedence operator =
   | "&&" -> 3
   | "^" -> 4
   | "&" -> 5
-  | "==" | "===" | "<" | ">" | "!=" | "<>" | "!==" | "<=" | ">=" | "|>" -> 6
+  | "==" | "===" | "<" | ">" | "!=" | "<>" | "!==" | "<=" | ">=" -> 6
   | "<<" | ">>" | ">>>" -> 7
   | "+" | "+." | "-" | "-." | "++" -> 8
   | "*" | "*." | "/" | "/." | "%" -> 9
@@ -317,8 +317,8 @@ let is_unary_bitnot_expression expr =
 let is_binary_operator operator =
   match operator with
   | ":=" | "||" | "&&" | "==" | "===" | "<" | ">" | "!=" | "!==" | "<=" | ">="
-  | "|>" | "+" | "+." | "-" | "-." | "++" | "*" | "*." | "/" | "/." | "**"
-  | "->" | "<>" | "%" | "&" | "^" | "<<" | ">>" | ">>>" ->
+  | "+" | "+." | "-" | "-." | "++" | "*" | "*." | "/" | "/." | "**" | "->"
+  | "<>" | "%" | "&" | "^" | "<<" | ">>" | ">>>" ->
     true
   | _ -> false
 
@@ -715,7 +715,7 @@ let is_single_pipe_expr expr =
     match expr.pexp_desc with
     | Pexp_apply
         {
-          funct = {pexp_desc = Pexp_ident {txt = Longident.Lident ("->" | "|>")}};
+          funct = {pexp_desc = Pexp_ident {txt = Longident.Lident "->"}};
           args = [(Nolabel, _operand1); (Nolabel, _operand2)];
         } ->
       true
@@ -724,7 +724,7 @@ let is_single_pipe_expr expr =
   match expr.pexp_desc with
   | Pexp_apply
       {
-        funct = {pexp_desc = Pexp_ident {txt = Longident.Lident ("->" | "|>")}};
+        funct = {pexp_desc = Pexp_ident {txt = Longident.Lident "->"}};
         args = [(Nolabel, operand1); (Nolabel, _operand2)];
       }
     when not (is_pipe_expr operand1) ->

compiler/syntax/src/res_printer.ml

@@ -3753,13 +3753,10 @@ and print_unary_expression ~state expr cmt_tbl =
 and print_binary_expression ~state (expr : Parsetree.expression) cmt_tbl =
   let print_binary_operator ~inline_rhs operator =
     let spacing_before_operator =
-      if operator = "->" then Doc.soft_line
-      else if operator = "|>" then Doc.line
-      else Doc.space
+      if operator = "->" then Doc.soft_line else Doc.space
     in
     let spacing_after_operator =
       if operator = "->" then Doc.nil
-      else if operator = "|>" then Doc.space
       else if inline_rhs then Doc.space
       else Doc.line
     in
@@ -3930,10 +3927,7 @@ and print_binary_expression ~state (expr : Parsetree.expression) cmt_tbl =
   match expr.pexp_desc with
   | Pexp_apply
       {
-        funct =
-          {
-            pexp_desc = Pexp_ident {txt = Longident.Lident (("->" | "|>") as op)};
-          };
+        funct = {pexp_desc = Pexp_ident {txt = Longident.Lident ("->" as op)}};
         args = [(Nolabel, lhs); (Nolabel, rhs)];
       }
     when not
@@ -3952,8 +3946,6 @@ and print_binary_expression ~state (expr : Parsetree.expression) cmt_tbl =
            (match (lhs_has_comment_below, op) with
            | true, "->" -> Doc.concat [Doc.soft_line; Doc.text "->"]
            | false, "->" -> Doc.text "->"
-           | true, "|>" -> Doc.concat [Doc.line; Doc.text "|> "]
-           | false, "|>" -> Doc.text " |> "
            | _ -> Doc.nil);
            rhs_doc;
          ])

compiler/syntax/src/res_scanner.ml

@@ -820,9 +820,6 @@ let rec scan scanner =
       | '|' ->
         next2 scanner;
         Token.Lor
-      | '>' ->
-        next2 scanner;
-        Token.BarGreater
       | _ ->
         next scanner;
         Token.Bar)

compiler/syntax/src/res_token.ml

@@ -94,7 +94,6 @@ type t =
   | TemplateTail of string * Lexing.position
   | TemplatePart of string * Lexing.position
   | Backtick
-  | BarGreater
   | Try
   | DocComment of Location.t * string
   | ModuleComment of Location.t * string
@@ -109,7 +108,7 @@ let precedence = function
   | Caret -> 4
   | Band -> 5
   | Equal | EqualEqual | EqualEqualEqual | LessThan | GreaterThan | BangEqual
-  | BangEqualEqual | LessEqual | GreaterEqual | BarGreater ->
+  | BangEqualEqual | LessEqual | GreaterEqual ->
     6
   | LeftShift | RightShift | RightShiftUnsigned -> 7
   | Plus | PlusDot | Minus | MinusDot | PlusPlus -> 8
@@ -213,7 +212,6 @@ let to_string = function
   | TemplatePart (text, _) -> text ^ "${"
   | TemplateTail (text, _) -> "TemplateTail(" ^ text ^ ")"
   | Backtick -> "`"
-  | BarGreater -> "|>"
   | Try -> "try"
   | DocComment (_loc, s) -> "DocComment " ^ s
   | ModuleComment (_loc, s) -> "ModuleComment " ^ s