Turn off apply nested coercion.

Author: cristianoc

compiler/ml/translmod.ml

@@ -87,11 +87,11 @@ let rec apply_coercion loc strict (restr : Typedtree.module_coercion) arg =
 
 and apply_coercion_result loc strict funct params args cc_res =
   match cc_res with
-  | Tcoerce_functor (cc_arg, cc_res) ->
-    let param = Ident.create "funarg" in
-    let arg = apply_coercion loc Alias cc_arg (Lvar param) in
-    apply_coercion_result loc strict funct (param :: params) (arg :: args)
-      cc_res
+  (* | Tcoerce_functor (cc_arg, cc_res) ->
+     let param = Ident.create "funarg" in
+     let arg = apply_coercion loc Alias cc_arg (Lvar param) in
+     apply_coercion_result loc strict funct (param :: params) (arg :: args)
+       cc_res *)
   | _ ->
     Lambda.name_lambda strict funct (fun id ->
         Lfunction

tests/tests/src/functors.mjs

@@ -40,16 +40,12 @@ function F2(X) {
 }
 
 let M = {
-  F: (funarg, funarg$1) => {
-    let Y = {
-      foo: funarg$1.foo
-    };
-    let cow = x => Y.foo(funarg.foo(x));
-    let sheep = x => 1 + cow(x) | 0;
+  F: funarg => (funarg$1 => {
+    let sheep = x => 1 + funarg$1.foo(funarg.foo(x)) | 0;
     return {
       sheep: sheep
     };
-  }
+  })
 };
 
 export {

tests/tests/src/functors_one_arg_at_a_time.mjs

@@ -21,7 +21,7 @@ let M = {
 let EQ = Eq({})({});
 
 let MF = {
-  F: (funarg, funarg$1) => ({})
+  F: funarg => (funarg => ({}))
 };
 
 function UseF(X) {