Support @uncurry externals with uncurried types.

So existing externals can be used without change in uncurried mode, without giving an error. That said, the `@uncurry` annotation becomes redundant in those cases.

Author: cristianoc

jscomp/frontend/ast_core_type.ml

@@ -128,12 +128,16 @@ let get_uncurry_arity (ty : t) =
       | { ptyp_desc = Ptyp_arrow _ } -> Some (get_uncurry_arity_aux rest 1)
       | _ -> Some 0)
   | Ptyp_arrow (_, _, rest) -> Some (get_uncurry_arity_aux rest 1)
+  | _ when Ast_uncurried.typeIsUncurriedFun ty ->
+    let arity, _ = Ast_uncurried.typeExtractUncurriedFun ty in
+    Some arity
   | _ -> None
 
 let get_curry_arity (ty : t) =
   match ty.ptyp_desc with
-  | Ptyp_constr ({ txt = Lident "function$" }, [ t; _ ]) ->
-      get_uncurry_arity_aux t 0
+  | _ when Ast_uncurried.typeIsUncurriedFun ty ->
+    let arity, _ = Ast_uncurried.typeExtractUncurriedFun ty in
+    arity
   | _ -> get_uncurry_arity_aux ty 0
 
 (* add hoc for bs.send.pipe *)

jscomp/test/UncurriedExternals.js

@@ -1,5 +1,6 @@
 'use strict';
 
+var React = require("react");
 
 function dd(param) {
   throw {
@@ -46,6 +47,14 @@ function tsiU(c) {
     });
 }
 
+var match = React.useState(function () {
+      return 3;
+    });
+
+var StandardNotation_get = match[0];
+
+var StandardNotation_set = match[1];
+
 var StandardNotation = {
   dd: dd,
   h: h,
@@ -57,7 +66,9 @@ var StandardNotation = {
   te: te,
   tcr: tcr,
   tsiC: tsiC,
-  tsiU: tsiU
+  tsiU: tsiU,
+  get: StandardNotation_get,
+  set: StandardNotation_set
 };
 
 function dd$1(param) {
@@ -105,6 +116,14 @@ function tsiU$1(c) {
     });
 }
 
+var match$1 = React.useState(function (param) {
+      return 3;
+    });
+
+var get = match$1[0];
+
+var set = match$1[1];
+
 exports.StandardNotation = StandardNotation;
 exports.dd = dd$1;
 exports.h = h$1;
@@ -117,4 +136,6 @@ exports.te = te$1;
 exports.tcr = tcr$1;
 exports.tsiC = tsiC$1;
 exports.tsiU = tsiU$1;
+exports.get = get;
+exports.set = set;
 /* h Not a pure module */

jscomp/test/UncurriedExternals.res

@@ -24,14 +24,19 @@ module StandardNotation = {
   external toException: (. exn) => exn = "%identity"
   let te = toException(. Not_found)
 
-  @obj external ccreate : (. unit) => string = ""
+  @obj external ccreate: (. unit) => string = ""
   let tcr = ccreate(.)
 
   type counter
   @set external setIncrementC: (counter, @this (counter, int) => unit) => unit = "increment"
   let tsiC = c => setIncrementC(c, @this (me, amount) => Js.log(me))
   @set external setIncrementU: (. counter, @this (. counter, int) => unit) => unit = "increment"
-  let tsiU = c => setIncrementU(. c, @this (. me, amount) => Js.log(me))
+  let tsiU = c => setIncrementU(.c, @this (. me, amount) => Js.log(me))
+
+  @module("react")
+  external useState: (@uncurry (unit => 'state)) => ('state, ('state => 'state) => unit) =
+    "useState"
+  let (get, set) = useState(() => 3)
 }
 
 @@uncurried
@@ -61,11 +66,15 @@ let tc = copy("abc")
 external toException: exn => exn = "%identity"
 let te = toException(Not_found)
 
-@obj external ucreate : unit => string = ""
+@obj external ucreate: unit => string = ""
 let tcr = ucreate()
 
 type counter
 @set external setIncrementC: (. counter, @this (. counter, int) => unit) => unit = "increment"
-let tsiC = c => setIncrementC(. c, @this (. me, amount) => Js.log(. me))
+let tsiC = c => setIncrementC(.c, @this (. me, amount) => Js.log(. me))
 @set external setIncrementU: (counter, @this (counter, int) => unit) => unit = "increment"
 let tsiU = c => setIncrementU(c, @this (me, amount) => Js.log(. me))
+
+@module("react")
+external useState: (@uncurry (unit => 'state)) => ('state, ('state => 'state) => unit) = "useState"
+let (get, set) = useState(() => 3)