Source file bytes0.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
(* [Bytes0] defines string functions that are primitives or can be simply
   defined in terms of [Caml.Bytes]. [Bytes0] is intended to completely express
   the part of [Caml.Bytes] that [Base] uses -- no other file in Base other
   than bytes0.ml should use [Caml.Bytes]. [Bytes0] has few dependencies, and
   so is available early in Base's build order.

   All Base files that need to use strings and come before [Base.Bytes] in
   build order should do:

   {[
     module Bytes  = Bytes0
   ]}

   Defining [module Bytes = Bytes0] is also necessary because it prevents
   ocamldep from mistakenly causing a file to depend on [Base.Bytes]. *)

let blit_string = Caml.Bytes.blit_string

let sub_string t ~pos ~len =
  Caml.Bytes.sub_string t pos len

open! Import0

module Sys = Sys0

module Primitives = struct
  external get        : bytes -> int -> char = "%bytes_safe_get"
  external length     : bytes        -> int  = "%bytes_length"
  external unsafe_get : bytes -> int -> char = "%bytes_unsafe_get"
  include Bytes_set_primitives

  (* [unsafe_blit_string] is not exported in the [stdlib] so we export it here *)
  external unsafe_blit_string
    :  src:string -> src_pos:int -> dst:bytes -> dst_pos:int -> len:int -> unit
    = "caml_blit_string" [@@noalloc]
end

include Primitives

let max_length = Sys.max_string_length

let blit            = Caml.Bytes.blit
let compare         = Caml.Bytes.compare
let copy            = Caml.Bytes.copy
let create          = Caml.Bytes.create
let fill            = Caml.Bytes.fill
let make            = Caml.Bytes.make
let sub             = Caml.Bytes.sub
let unsafe_blit     = Caml.Bytes.unsafe_blit

let to_string = Caml.Bytes.to_string
let of_string = Caml.Bytes.of_string

let unsafe_to_string ~no_mutation_while_string_reachable:s =
  Caml.Bytes.unsafe_to_string s
let unsafe_of_string_promise_no_mutation = Caml.Bytes.unsafe_of_string

(* These are eta expanded in order to label arguments, following the
   Base conventions. *)
let blit_string ~src ~src_pos ~dst ~dst_pos ~len =
  blit_string src src_pos dst dst_pos len