Fix underscore in uncurried mode.

Author: cristianoc

CHANGELOG.md

@@ -57,6 +57,7 @@ These are only breaking changes for unformatted code.
 - Fix issue with error messages for uncurried functions where expected and given type were swapped https://github.com/rescript-lang/rescript-compiler/pull/5973
 - Fix issue with integer overflow check https://github.com/rescript-lang/rescript-compiler/pull/6028
 - Make internal encoding of locations aware of unicode https://github.com/rescript-lang/rescript-compiler/pull/6073
+- Fix issue where `foo(x,_)` in uncurried mode would generate a curried function https://github.com/rescript-lang/rescript-compiler/pull/6082
 
 #### :nail_care: Polish
 

jscomp/test/UncurriedAlways.js

@@ -27,11 +27,31 @@ function ptl(param) {
   return foo(10, param);
 }
 
+function foo2(x, y) {
+  return x + y | 0;
+}
+
+function bar2(__x) {
+  return __x + 3 | 0;
+}
+
+function foo3(x, y, z) {
+  return (x + y | 0) + z | 0;
+}
+
+function bar3(__x) {
+  return foo3(__x, 3, 4);
+}
+
 exports.foo = foo;
 exports.z = z;
 exports.bar = bar;
 exports.b = b;
 exports.w = w;
 exports.a = a;
 exports.ptl = ptl;
+exports.foo2 = foo2;
+exports.bar2 = bar2;
+exports.foo3 = foo3;
+exports.bar3 = bar3;
 /*  Not a pure module */

jscomp/test/UncurriedAlways.res

@@ -17,3 +17,9 @@ Js.log(a) // Test automatic uncurried application
 let _ = Js.Array2.map([1], (. x) => x+1)
 
 let ptl = @res.partial foo(10) // force partial application
+
+let foo2 = (x,y) => x+y
+let bar2: _ => _ = foo2(_, 3)
+
+let foo3 = (x,y,z) => x+y+z
+let bar3 : _ => _ = foo3(_, 3, 4)

res_syntax/src/res_core.ml

@@ -516,7 +516,7 @@ let wrapTypeAnnotation ~loc newtypes core_type body =
   * return a wrapping function that wraps ((__x) => ...) around an expression
   * e.g. foo(_, 3) becomes (__x) => foo(__x, 3)
   *)
-let processUnderscoreApplication args =
+let processUnderscoreApplication (p : Parser.t) args =
   let exp_question = ref None in
   let hidden_var = "__x" in
   let check_arg ((lab, exp) as arg) =
@@ -537,7 +537,9 @@ let processUnderscoreApplication args =
           (Ppat_var (Location.mkloc hidden_var loc))
           ~loc:Location.none
       in
-      Ast_helper.Exp.mk (Pexp_fun (Nolabel, None, pattern, exp_apply)) ~loc
+      let funExpr = Ast_helper.Exp.fun_ ~loc Nolabel None pattern exp_apply in
+      if p.uncurried_config = Legacy then funExpr
+      else Ast_uncurried.uncurriedFun ~loc ~arity:1 funExpr
     | None -> exp_apply
   in
   (args, wrap)
@@ -3667,7 +3669,7 @@ and parseCallExpr p funExpr =
     List.fold_left
       (fun callBody group ->
         let dotted, args = group in
-        let args, wrap = processUnderscoreApplication args in
+        let args, wrap = processUnderscoreApplication p args in
         let exp =
           let uncurried =
             p.uncurried_config |> Res_uncurried.fromDotted ~dotted