Test: see what removing opaqueFullApply does

The effect is that a bunch of applications are treated as curried applications.
rescript-lang · Jul 24, 2024 · f603cf1 · f603cf1
1 parent 1d46abe
commit f603cf1
Show file tree

Hide file tree

Showing 330 changed files with 5,054 additions and 5,567 deletions.
diff --git a/jscomp/core/lam_compile.ml b/jscomp/core/lam_compile.ml
@@ -1538,7 +1538,7 @@ and compile_prim (prim_info : Lam.prim_info)
       (*
        either a getter {[ x #. height ]} or {[ x ## method_call ]}
     *)
-      assert (not setter);
+      (* assert (not setter); *)
 
       match
         compile_lambda { lambda_cxt with continuation = NeedValue Not_tail } obj

diff --git a/jscomp/ml/typecore.ml b/jscomp/ml/typecore.ml
@@ -2159,7 +2159,7 @@ and type_expect_ ?type_clash_context ?in_function ?(recarg=Rejected) env sexp ty
           exp_type;
           exp_attributes = [];
           exp_env = env } in
-      let apply_internal name e =
+      let _apply_internal name e =
         let lid:Longident.t = Ldot (Ldot (Lident "Js", "Internal"), name) in
         let (path, desc) = Env.lookup_value lid env in
         let id = mk_exp (Texp_ident(path, {txt=lid; loc=Location.none}, desc)) desc.val_type in
@@ -2178,7 +2178,7 @@ and type_expect_ ?type_clash_context ?in_function ?(recarg=Rejected) env sexp ty
         | _ -> false in
 
       if fully_applied && not is_primitive then
-        rue (apply_internal "opaqueFullApply" (mk_apply funct args))
+        rue (mk_apply funct args)
       else
         rue (mk_apply funct args)
   | Pexp_match(sarg, caselist) ->

diff --git a/jscomp/test/DerivingAccessorsCurried.js b/jscomp/test/DerivingAccessorsCurried.js
diff --git a/jscomp/test/DerivingAccessorsUncurried.js b/jscomp/test/DerivingAccessorsUncurried.js
diff --git a/jscomp/test/Import.js b/jscomp/test/Import.js
diff --git a/jscomp/test/UncurriedAlways.js b/jscomp/test/UncurriedAlways.js
diff --git a/jscomp/test/UncurriedExternals.js b/jscomp/test/UncurriedExternals.js
diff --git a/jscomp/test/UntaggedVariants.js b/jscomp/test/UntaggedVariants.js
diff --git a/jscomp/test/a_filename_test.js b/jscomp/test/a_filename_test.js
diff --git a/jscomp/test/a_recursive_type.js b/jscomp/test/a_recursive_type.js
diff --git a/jscomp/test/a_scope_bug.js b/jscomp/test/a_scope_bug.js
diff --git a/jscomp/test/ari_regress_test.js b/jscomp/test/ari_regress_test.js
diff --git a/jscomp/test/arith_lexer.js b/jscomp/test/arith_lexer.js