Remove pipe last (|>) syntax (#7512)

Author: cknitt

CHANGELOG.md

@@ -29,6 +29,7 @@
 - Allow oneliner formatting when including module with single type alias. https://github.com/rescript-lang/rescript/pull/7502
 - Improve error messages for JSX type mismatches, passing objects where record is expected, passing array literal where tuple is expected, and more. https://github.com/rescript-lang/rescript/pull/7500
 - Show in error messages when coercion can be used to fix a type mismatch. https://github.com/rescript-lang/rescript/pull/7505
+- Remove deprecated pipe last (|>) syntax. https://github.com/rescript-lang/rescript/pull/7512
 
 # 12.0.0-alpha.13
 

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

tests/analysis_tests/tests-reanalyze/deadcode/expected/deadcode.txt

@@ -1216,7 +1216,7 @@
   addValueReference OptArg.res:14:4 --> OptArg.res:14:21
   addValueReference OptArg.res:14:4 --> OptArg.res:14:27
   DeadOptionalArgs.addReferences twoArgs called with optional argNames: argNamesMaybe: OptArg.res:16:7
-  addValueReference OptArg.res:16:12 --> OptArg.res:14:4
+  addValueReference OptArg.res:16:10 --> OptArg.res:14:4
   addValueReference OptArg.res:18:4 --> OptArg.res:18:17
   addValueReference OptArg.res:18:4 --> OptArg.res:18:14
   addValueReference OptArg.res:18:4 --> OptArg.res:18:24
@@ -2510,7 +2510,7 @@ File References
   Live Value +OptArg.+fourArgs: 1 references (OptArg.res:26:4) [0]
   Live Value +OptArg.+wrapOneArg: 1 references (OptArg.res:22:7) [0]
   Live Value +OptArg.+oneArg: 1 references (OptArg.res:20:4) [0]
-  Live Value +OptArg.+twoArgs: 1 references (OptArg.res:16:12) [0]
+  Live Value +OptArg.+twoArgs: 1 references (OptArg.res:16:10) [0]
   Live Value +OptArg.+threeArgs: 2 references (OptArg.res:11:7, OptArg.res:12:7) [0]
   Live Value +OptArg.+bar: 2 references (OptArg.res:7:7, OptArg.resi:2:0) [0]
   Live Value +OptArg.+foo: 1 references (OptArg.res:5:7) [0]

tests/analysis_tests/tests-reanalyze/deadcode/src/OptArg.res

@@ -13,7 +13,7 @@ Js.log(threeArgs(~a=4, 1))
 
 let twoArgs = (~a=1, ~b=2, c) => a + b + c
 
-Js.log(1 |> twoArgs)
+Js.log(1->twoArgs)
 
 let oneArg = (~a=1, ~z, b) => a + b