Remove bytes_of_string.

Author: cristianoc

jscomp/core/js_of_lam_string.ml

@@ -61,6 +61,3 @@ let set_byte e e0 e1 = E.assign (E.array_index e e0) e1
 *)
 let bytes_to_string e =
   E.runtime_call Js_runtime_modules.bytes_ "bytes_to_string" [ e ]
-
-let bytes_of_string s =
-  E.runtime_call Js_runtime_modules.bytes "bytes_of_string" [ s ]

jscomp/core/js_of_lam_string.mli

@@ -37,5 +37,3 @@ val set_byte : J.expression -> J.expression -> J.expression -> J.expression
 val const_char : char -> J.expression
 
 val bytes_to_string : J.expression -> J.expression
-
-val bytes_of_string : J.expression -> J.expression

jscomp/core/lam_analysis.ml

@@ -62,7 +62,7 @@ let rec no_side_effects (lam : Lam.t) : bool =
       | Pundefined_to_opt | Pnull_undefined_to_opt | Pjs_fn_make _
       | Pjs_object_create _
       (* TODO: check *)
-      | Pbytes_to_string | Pbytes_of_string | Pmakeblock _
+      | Pbytes_to_string | Pmakeblock _
       (* whether it's mutable or not *)
       | Pfield _ | Pval_from_option | Pval_from_option_not_nest
       (* NOP The compiler already [t option] is the same as t *)

jscomp/core/lam_compile_primitive.ml

@@ -219,12 +219,6 @@ let translate loc (cxt : Lam_compile_context.t) (prim : Lam_primitive.t)
       *)
       | [ range; e ] -> E.is_out (E.offset e off) range
       | _ -> assert false)
-  | Pbytes_of_string ->
-      (* TODO: write a js primitive  - or is it necessary ?
-         if we have byte_get/string_get
-         still necessary, since you can set it now.
-      *)
-      Js_of_lam_string.bytes_of_string (Ext_list.singleton_exn args)
   | Pbytes_to_string ->
       Js_of_lam_string.bytes_to_string (Ext_list.singleton_exn args)
   | Pstringlength -> E.string_length (Ext_list.singleton_exn args)

jscomp/core/lam_convert.ml

@@ -167,7 +167,6 @@ let lam_prim ~primitive:(p : Lambda.primitive) ~args loc : Lam.t =
   | Ploc _ -> assert false (* already compiled away here*)
   | Pbytes_to_string (* handled very early *) ->
       prim ~primitive:Pbytes_to_string ~args loc
-  | Pbytes_of_string -> prim ~primitive:Pbytes_of_string ~args loc
   | Pcreate_extension s -> prim ~primitive:(Pcreate_extension s) ~args loc
   | Pignore ->
       (* Pignore means return unit, it is not an nop *)

jscomp/core/lam_primitive.ml

@@ -34,7 +34,6 @@ type record_representation =
 
 type t =
   | Pbytes_to_string
-  | Pbytes_of_string
   (* Operations on heap blocks *)
   | Pmakeblock of int * Lam_tag_info.t * Asttypes.mutable_flag
   | Pfield of int * Lam_compat.field_dbg_info
@@ -172,7 +171,6 @@ let eq_primitive_approx (lhs : t) (rhs : t) =
       match rhs with Pcreate_extension b -> a = (b : string) | _ -> false)
   | Pwrap_exn -> rhs = Pwrap_exn
   | Pbytes_to_string -> rhs = Pbytes_to_string
-  | Pbytes_of_string -> rhs = Pbytes_of_string
   | Praise -> rhs = Praise
   | Psequand -> rhs = Psequand
   | Psequor -> rhs = Psequor

jscomp/core/lam_primitive.mli

@@ -32,7 +32,6 @@ type record_representation =
 
 type t =
   | Pbytes_to_string
-  | Pbytes_of_string
   | Pmakeblock of int * Lam_tag_info.t * Asttypes.mutable_flag
   | Pfield of int * Lambda.field_dbg_info
   | Psetfield of int * Lambda.set_field_dbg_info

jscomp/core/lam_print.ml

@@ -56,7 +56,6 @@ let primitive ppf (prim : Lam_primitive.t) =
   | Pinit_mod -> fprintf ppf "init_mod!"
   | Pupdate_mod -> fprintf ppf "update_mod!"
   | Pbytes_to_string -> fprintf ppf "bytes_to_string"
-  | Pbytes_of_string -> fprintf ppf "bytes_of_string"
   | Pjs_apply -> fprintf ppf "#apply"
   | Pjs_runtime_apply -> fprintf ppf "#runtime_apply"
   | Pjs_unsafe_downgrade { name; setter } ->

jscomp/main/builtin_cmj_datasets.ml

@@ -146,7 +146,6 @@ type is_safe =
 type primitive =
   | Pidentity
   | Pbytes_to_string
-  | Pbytes_of_string
   | Pignore
   | Prevapply
   | Pdirapply