Rename uncurried$ to function$

Author: cristianoc

jscomp/frontend/ast_core_type.ml

@@ -133,7 +133,7 @@ let get_uncurry_arity (ty : t) =
 let get_curry_arity (ty : t) =
   match ty.ptyp_desc with
   | Ptyp_constr ({ txt = Ldot (Ldot (Lident "Js", "Fn"), _) }, [ t ])
-  | Ptyp_constr ({ txt = Lident "uncurried$" }, [ t; _ ]) ->
+  | Ptyp_constr ({ txt = Lident "function$" }, [ t; _ ]) ->
       get_uncurry_arity_aux t 0
   | _ -> get_uncurry_arity_aux ty 0
 

jscomp/frontend/ast_core_type_class_type.ml

@@ -76,7 +76,7 @@ let typ_mapper (self : Bs_ast_mapper.mapper) (ty : Parsetree.core_type) =
            [ { ptyp_desc = Ptyp_arrow (label, args, body) } ] )
      | Ptyp_constr
          (* Js.uncurried is re-wrapped around only in case Nothing below *)
-         ( { txt = Lident "uncurried$" },
+         ( { txt = Lident "function$" },
            [ { ptyp_desc = Ptyp_arrow (label, args, body) }; _ ] ) );
    (* let it go without regard label names,
       it will report error later when the label is not empty

jscomp/frontend/ast_external_process.ml

@@ -870,7 +870,7 @@ let handle_attributes (loc : Bs_loc.t) (type_annotation : Parsetree.core_type)
   let prim_name_with_source = { name = prim_name; source = External } in
   let type_annotation, build_uncurried_type =
     match type_annotation.ptyp_desc with
-    | Ptyp_constr (({ txt = Lident "uncurried$"; _ } as lid), [ t; arity_ ]) ->
+    | Ptyp_constr (({ txt = Lident "function$"; _ } as lid), [ t; arity_ ]) ->
         ( t,
           fun ~arity x ->
             let tArity =

jscomp/ml/ast_uncurried.ml

@@ -14,7 +14,7 @@ let uncurriedType ~loc ~arity tArg =
   if new_representation arity then
     let tArity = arityType ~loc arity in
     Ast_helper.Typ.constr ~loc
-      { txt = Lident "uncurried$"; loc }
+      { txt = Lident "function$"; loc }
       [ tArg; tArity ]
   else
     Ast_helper.Typ.constr ~loc
@@ -55,7 +55,7 @@ let uncurriedFun ~loc ~arity funExpr =
   if new_representation arity then
     Ast_helper.Exp.construct ~loc
       ~attrs:(arity_to_attributes arity)
-      { txt = Lident "Uncurried$"; loc }
+      { txt = Lident "Function$"; loc }
       (Some funExpr)
   else
     Ast_helper.Exp.record ~loc
@@ -73,14 +73,14 @@ let exprIsUncurriedFun (expr : Parsetree.expression) =
   | Pexp_record ([ ({ txt = Ldot (Ldot (Lident "Js", "Fn"), _) }, _e) ], None)
     ->
       true
-  | Pexp_construct ({ txt = Lident "Uncurried$" }, Some _) -> true
+  | Pexp_construct ({ txt = Lident "Function$" }, Some _) -> true
   | _ -> false
 
 let exprExtractUncurriedFun (expr : Parsetree.expression) =
   match expr.pexp_desc with
   | Pexp_record ([ ({ txt = Ldot (Ldot (Lident "Js", "Fn"), _) }, e) ], None) ->
       e
-  | Pexp_construct ({ txt = Lident "Uncurried$" }, Some e) -> e
+  | Pexp_construct ({ txt = Lident "Function$" }, Some e) -> e
   | _ -> assert false
 
 (* Typed AST *)
@@ -105,12 +105,12 @@ let type_to_arity (tArity : Types.type_expr) =
 
 let mk_js_fn ~env ~arity t =
   let typ_arity = arity_to_type arity in
-  let lid : Longident.t = Lident "uncurried$" in
+  let lid : Longident.t = Lident "function$" in
   let path = Env.lookup_type lid env in
   Ctype.newconstr path [ t; typ_arity ]
 
 let uncurried_type_get_arity ~env typ =
   match (Ctype.expand_head env typ).desc with
-  | Tconstr (Pident { name = "uncurried$" }, [ _t; tArity ], _) ->
+  | Tconstr (Pident { name = "function$" }, [ _t; tArity ], _) ->
       type_to_arity tArity
   | _ -> assert false

jscomp/ml/predef.ml

@@ -49,7 +49,7 @@ and ident_floatarray = ident_create "floatarray"
 and ident_unknown = ident_create "unknown"
 
 and ident_promise = ident_create "promise"
-and ident_uncurried = ident_create "uncurried$"
+and ident_uncurried = ident_create "function$"
 
 type test =
   | For_sure_yes
@@ -178,7 +178,7 @@ and ident_cons = ident_create "::"
 and ident_none = ident_create "None"
 and ident_some = ident_create "Some"
 and ident_ctor_unknown = ident_create "Unknown"
-and ident_ctor_uncurried = ident_create "Uncurried$"
+and ident_ctor_uncurried = ident_create "Function$"
 
 let common_initial_env add_type add_extension empty_env =
   let decl_bool =

jscomp/ml/translcore.ml

@@ -775,7 +775,7 @@ and transl_exp0 (e : Typedtree.expression) : Lambda.lambda =
       with Not_constant -> Lprim (Pmakeblock Blk_tuple, ll, e.exp_loc))
   | Texp_construct ({ txt = Lident "false" }, _, []) -> Lconst Const_false
   | Texp_construct ({ txt = Lident "true" }, _, []) -> Lconst Const_true
-  | Texp_construct ({ txt = Lident "Uncurried$"}, _, [expr]) ->
+  | Texp_construct ({ txt = Lident "Function$"}, _, [expr]) ->
       (* ReScript uncurried encoding *)
       let loc = expr.exp_loc in
       let lambda = transl_exp expr in

jscomp/ml/typecore.ml

@@ -2105,7 +2105,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
         exp_env = env }
   | Pexp_construct(lid, sarg) ->
       (match lid.txt with
-      | Lident "Uncurried$" ->
+      | Lident "Function$" ->
         let arity = Ast_uncurried.attributes_to_arity sexp.pexp_attributes in
         let uncurried_typ = Ast_uncurried.mk_js_fn ~env ~arity (newvar()) in
         unify_exp_types loc env ty_expected uncurried_typ
@@ -2998,7 +2998,7 @@ and type_application uncurried env funct (sargs : sargs) : targs * Types.type_ex
         then int_of_string (String.sub a 5 (String.length a - 5))
         else 0 in
        Some (arity, t)
-    | Tconstr (Pident {name = "uncurried$"},[t; tArity],_) ->
+    | Tconstr (Pident {name = "function$"},[t; tArity],_) ->
       let arity = Ast_uncurried.type_to_arity tArity in
       Some (arity, t)
     | _ -> None in

jscomp/ml/typedecl.ml

@@ -1593,8 +1593,8 @@ let rec parse_native_repr_attributes env core_type ty =
 let parse_native_repr_attributes env core_type ty =
   match core_type.ptyp_desc, (Ctype.repr ty).desc
   with
-  | Ptyp_constr ({txt = Lident "uncurried$"}, [{ptyp_desc = Ptyp_arrow (_, _, ct2)}; _]),
-    Tconstr (Pident {name = "uncurried$"},[{desc = Tarrow (_, _, t2, _)}; _],_) ->
+  | Ptyp_constr ({txt = Lident "function$"}, [{ptyp_desc = Ptyp_arrow (_, _, ct2)}; _]),
+    Tconstr (Pident {name = "function$"},[{desc = Tarrow (_, _, t2, _)}; _],_) ->
     let repr_args, repr_res = parse_native_repr_attributes env ct2 t2 in
     let native_repr_args = Same_as_ocaml_repr :: repr_args in
     (native_repr_args, repr_res)

jscomp/super_errors/super_typecore.ml

@@ -183,7 +183,7 @@ let report_error env ppf = function
     )
   | Expr_type_clash ( 
     (_, {desc = Tarrow _}) ::
-    (_, {desc = Tconstr (Pident {name = "uncurried$"},_,_)}) :: _
+    (_, {desc = Tconstr (Pident {name = "function$"},_,_)}) :: _
    ) -> 
     fprintf ppf "This function is a curried function where an uncurried function is expected"
   | Expr_type_clash (
@@ -192,8 +192,8 @@ let report_error env ppf = function
     ) when arityA <> arityB ->
     reportJsFnArityMismatch ~arityA ~arityB ppf
   | Expr_type_clash (
-      (_, {desc = Tconstr (Pident {name = "uncurried$"},[_; tA],_)}) ::
-      (_, {desc = Tconstr (Pident {name = "uncurried$"},[_; tB],_)}) :: _
+      (_, {desc = Tconstr (Pident {name = "function$"},[_; tA],_)}) ::
+      (_, {desc = Tconstr (Pident {name = "function$"},[_; tB],_)}) :: _
     ) when Ast_uncurried.type_to_arity tA <> Ast_uncurried.type_to_arity tB ->
     let arityA = Ast_uncurried.type_to_arity tA |> string_of_int in
     let arityB = Ast_uncurried.type_to_arity tB |> string_of_int in

res_syntax/src/res_outcome_printer.ml

@@ -223,9 +223,9 @@ let rec printOutTypeDoc (outType : Outcometree.out_type) =
     when isArityIdent ident ->
     (* Js.Fn.arity2<(int, int) => int> -> (. int, int) => int*)
     printOutArrowType ~uncurried:true arrowType
-  | Otyp_constr (Oide_ident "uncurried$", [(Otyp_arrow _ as arrowType); _arity])
+  | Otyp_constr (Oide_ident "function$", [(Otyp_arrow _ as arrowType); _arity])
     ->
-    (* uncurried$<(int, int) => int, [#2]> -> (. int, int) => int *)
+    (* function$<(int, int) => int, [#2]> -> (. int, int) => int *)
     printOutArrowType ~uncurried:true arrowType
   | Otyp_constr (outIdent, []) -> printOutIdentDoc ~allowUident:false outIdent
   | Otyp_manifest (typ1, typ2) ->

res_syntax/src/res_uncurried.ml

@@ -36,7 +36,7 @@ let new_representation arity = arity = 5
 let uncurriedType ~loc ~arity tArg =
   if new_representation arity then
     let tArity = arityType ~loc arity in
-    Ast_helper.Typ.constr ~loc {txt = Lident "uncurried$"; loc} [tArg; tArity]
+    Ast_helper.Typ.constr ~loc {txt = Lident "function$"; loc} [tArg; tArity]
   else
     Ast_helper.Typ.constr ~loc
       {
@@ -60,7 +60,7 @@ let uncurriedFun ~loc ~arity funExpr =
   if new_representation arity then
     Ast_helper.Exp.construct ~loc
       ~attrs:(arity_to_attributes arity)
-      {txt = Lident "Uncurried$"; loc}
+      {txt = Lident "Function$"; loc}
       (Some funExpr)
   else
     Ast_helper.Exp.record ~loc
@@ -74,13 +74,13 @@ let exprIsUncurriedFun (expr : Parsetree.expression) =
   match expr.pexp_desc with
   | Pexp_record ([({txt = Ldot (Ldot (Lident "Js", "Fn"), _)}, _e)], None) ->
     true
-  | Pexp_construct ({txt = Lident "Uncurried$"}, Some _) -> true
+  | Pexp_construct ({txt = Lident "Function$"}, Some _) -> true
   | _ -> false
 
 let exprExtractUncurriedFun (expr : Parsetree.expression) =
   match expr.pexp_desc with
   | Pexp_record ([({txt = Ldot (Ldot (Lident "Js", "Fn"), _)}, e)], None) -> e
-  | Pexp_construct ({txt = Lident "Uncurried$"}, Some e) -> e
+  | Pexp_construct ({txt = Lident "Function$"}, Some e) -> e
   | _ -> assert false
 
 let typeIsUncurriedFun (typ : Parsetree.core_type) =
@@ -89,8 +89,7 @@ let typeIsUncurriedFun (typ : Parsetree.core_type) =
       ({txt = Ldot (Ldot (Lident "Js", "Fn"), _)}, [{ptyp_desc = Ptyp_arrow _}])
     ->
     true
-  | Ptyp_constr ({txt = Lident "uncurried$"}, [{ptyp_desc = Ptyp_arrow _}; _])
-    ->
+  | Ptyp_constr ({txt = Lident "function$"}, [{ptyp_desc = Ptyp_arrow _}; _]) ->
     true
   | _ -> false
 
@@ -102,6 +101,6 @@ let typeExtractUncurriedFun (typ : Parsetree.core_type) =
         ((String.sub [@doesNotRaise]) arity 5 (String.length arity - 5))
     in
     (arity, tArg)
-  | Ptyp_constr ({txt = Lident "uncurried$"}, [tArg; tArity]) ->
+  | Ptyp_constr ({txt = Lident "function$"}, [tArg; tArity]) ->
     (arityFromType tArity, tArg)
   | _ -> assert false