Make components actually uncurried functions in uncurried mode.

This change does not seem strictly necessary, and it's a bit invasive.
E.g. the editor integration needs to be adapted.
But eventually, we'll want this in, as otherwise e.g. hover on the `make` would show a curried function.

Author: cristianoc

jscomp/stdlib-406/pervasivesU.res

@@ -15,6 +15,25 @@
 
 @@uncurried
 
+module Jsx = {
+  type element
+  type ref
+
+  @val external null: element = "null"
+
+  external float: float => element = "%identity"
+  external int: int => element = "%identity"
+  external string: string => element = "%identity"
+
+  external array: array<element> => element = "%identity"
+
+  type componentLike<'props, 'return> = 'props => 'return
+  type component<'props> = componentLike<'props, element>
+
+  /* this function exists to prepare for making `component` abstract */
+  external component: componentLike<'props, element> => component<'props> = "%identity"
+}
+
 /* Internal */
 external __unsafe_cast: 'a => 'b = "%identity"
 
@@ -301,12 +320,10 @@ let exit_function = ref(ignore)
 let at_exit = f => {
   let g = exit_function.contents
   exit_function :=
-    (
-      () => {
-        f()
-        g()
-      }
-    )
+    () => {
+      f()
+      g()
+    }
 }
 
 let do_at_exit = () => exit_function.contents()

jscomp/stdlib-406/pervasivesU.resi

@@ -1,4 +1,4 @@
-@@ocaml.text(/* ************************************************************************ */
+/* ************************************************************************ */
 /*  */
 /* OCaml */
 /*  */
@@ -13,9 +13,7 @@
 /*  */
 /* ************************************************************************ */
 
-@@uncurried
-
-" The initially opened module.
+/*** The initially opened module.
 
    This module provides the basic operations over the built-in types
    (numbers, booleans, byte sequences, strings, exceptions, references,
@@ -24,7 +22,28 @@
    This module is automatically opened at the beginning of each compilation.
    All components of this module can therefore be referred by their short
    name, without prefixing them by [Pervasives].
-")
+*/
+
+@@uncurried
+
+module Jsx: {
+  type element
+  type ref
+
+  @val external null: element = "null"
+
+  external float: float => element = "%identity"
+  external int: int => element = "%identity"
+  external string: string => element = "%identity"
+
+  external array: array<element> => element = "%identity"
+
+  type componentLike<'props, 'return> = 'props => 'return
+  type component<'props> = componentLike<'props, element>
+
+  /* this function exists to prepare for making `component` abstract */
+  external component: componentLike<'props, element> => component<'props> = "%identity"
+}
 
 /* Internal */
 external __unsafe_cast: 'a => 'b = "%identity"

lib/es6/pervasivesU.js

@@ -6,6 +6,8 @@ import * as Caml_string from "./caml_string.js";
 import * as Caml_exceptions from "./caml_exceptions.js";
 import * as Caml_js_exceptions from "./caml_js_exceptions.js";
 
+var Jsx = {};
+
 function failwith(s) {
   throw {
         RE_EXN_ID: "Failure",
@@ -216,6 +218,7 @@ var min_float = 2.22507385850720138e-308;
 var epsilon_float = 2.22044604925031308e-16;
 
 export {
+  Jsx ,
   invalid_arg ,
   failwith ,
   Exit ,

lib/js/pervasivesU.js

@@ -6,6 +6,8 @@ var Caml_string = require("./caml_string.js");
 var Caml_exceptions = require("./caml_exceptions.js");
 var Caml_js_exceptions = require("./caml_js_exceptions.js");
 
+var Jsx = {};
+
 function failwith(s) {
   throw {
         RE_EXN_ID: "Failure",
@@ -215,6 +217,7 @@ var min_float = 2.22507385850720138e-308;
 
 var epsilon_float = 2.22044604925031308e-16;
 
+exports.Jsx = Jsx;
 exports.invalid_arg = invalid_arg;
 exports.failwith = failwith;
 exports.Exit = Exit;

res_syntax/src/reactjs_jsx_v3.ml

@@ -959,6 +959,13 @@ let jsxMapper ~config =
               }
               innerExpressionWithRef
           in
+          let fullExpression =
+            if !Config.uncurried = Uncurried then
+              fullExpression
+              |> Ast_uncurried.uncurriedFun ~loc:fullExpression.pexp_loc
+                   ~arity:1
+            else fullExpression
+          in
           let fullExpression =
             match fullModuleName with
             | "" -> fullExpression

res_syntax/src/reactjs_jsx_v4.ml

@@ -952,6 +952,12 @@ let mapBinding ~config ~emptyLoc ~pstr_loc ~fileName ~recFlag binding =
            innerExpression
         else innerExpression)
     in
+    let fullExpression =
+      if !Config.uncurried = Uncurried then
+        fullExpression
+        |> Ast_uncurried.uncurriedFun ~loc:fullExpression.pexp_loc ~arity:1
+      else fullExpression
+    in
     let fullExpression =
       match fullModuleName with
       | "" -> fullExpression