Source file `int0.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
(* [Int0] defines integer functions that are primitives or can be simply defined in terms
   of [Stdlib]. [Int0] is intended to completely express the part of [Stdlib] that [Base]
   uses for integers -- no other file in Base other than int0.ml should use these
   functions directly through [Stdlib]. [Int0] has few dependencies, and so is available
   early in Base's build order.

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

   {[
     module Int = Int0
   ]}

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

external format : string @ local -> int -> string @@ portable = "caml_format_int"

let%template to_string (local_ n) =
  (Integer_to_string.int_to_string [@alloc a]) n [@exclave_if_stack a]
[@@alloc a = (heap, stack)]
;;

external of_string : string @ local -> int @@ portable = "caml_int_of_string"

let of_string_opt (local_ s) =
  try Some (of_string s) with
  | Failure _ -> None
;;

let to_float = Stdlib.float_of_int
let of_float = Stdlib.int_of_float
let max_value = Stdlib.max_int
let min_value = Stdlib.min_int
let succ = Stdlib.succ
let pred = Stdlib.pred