internal tweak with better names

Author: bobzhang

jscomp/main/builtin_cmi_datasets.ml

@@ -132,7 +132,7 @@ end
 module MapperRt = Js_mapperRt
 module Internal = struct 
   open Fn    
-  external unsafeInvariantApply : 'a -> 'a = "#full_apply"
+  external opaqueFullApply : 'a -> 'a = "#full_apply"
 
   (* Use opaque instead of [._n] to prevent some optimizations happening *)
   external run : 'a arity0 -> 'a = "#run" 

jscomp/runtime/js.ml

@@ -48,7 +48,7 @@ module Lid = struct
   (* TODO should be renamed in to {!Js.fn} *)
   (* TODO should be moved into {!Js.t} Later *)
   let js_internal : t = Ldot (Lident "Js", "Internal")
-  let js_internal_full_apply : t = Ldot (js_internal, "unsafeInvariantApply")
+  let js_internal_full_apply : t = Ldot (js_internal, "opaqueFullApply")
   let opaque : t = Ldot (js_internal, "opaque")
   let js_fn : t =
       Ldot (Lident "Js",  "Fn")

jscomp/syntax/ast_literal.ml

@@ -17,9 +17,6 @@ let h = fun [@bs] ~x:unit -> 3
 
 let a = u1 u
 
-(* let u1 (f : u) =
-  Js.Internal.unsafeInvariantApply ((Js.Internal.run2 (f : u)) ~y:"x" ~x:2) 
-  *)
 
 
 type u0 = ?x:int -> y : string -> int [@bs]

jscomp/test/label_uncurry.ml

@@ -1,13 +1,5 @@
 
 
-(* external unsafeInvariantApply : 'a -> 'a = "#full_apply"
-
-
-let f1 x = unsafeInvariantApply (x ())
-
-
-let f2 x y = unsafeInvariantApply (x y ()) *)
-
 
 let rec f = fun [@bs] a -> f a [@bs]