Fix issue with uncurried function with 1 arg being a variable

Fixes #6504

Uncurried functions with 1 unit argument are emitted without the parameter. This leaves a possible undefined id in the emitted code if the parameter is a variable.
This PR limits the optimization to cases where the parameter is explicitly `()`, as opposed to e.g. a variable whose type is inferred to be unit.

Author: cristianoc

jscomp/core/lam_pass_alpha_conversion.ml

@@ -71,7 +71,7 @@ let alpha_conversion (meta : Lam_stats.t) (lam : Lam.t) : Lam.t =
         | None -> Lam.prim ~primitive ~args:[ simpl arg ] loc)
     | Lprim { primitive = Pjs_fn_make_unit; args = [ arg ]; loc } ->
       let arg = match arg with
-      | Lfunction ({arity=1; params=[x]; attr; body}) ->
+      | Lfunction ({arity=1; params=[x]; attr; body}) when Ident.name x = "param" (* "()" *) ->
         Lam.function_ ~params:[x] ~attr:{attr with oneUnitArg=true} ~body ~arity:1
       | _ -> arg in
       simpl arg

jscomp/syntax/tests/printer/expr/Uncurried.res

@@ -11,4 +11,10 @@ let foo = (/* ddd */ x) => x
 let f = (
   // comment
   ~a,
-) => a
+) => a
+
+let fn = cb => {
+  cb()
+}
+
+fn(s => Js.log(#foo(s)))