Source file stdune.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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
module Appendable_list = Appendable_list
module Ansi_color = Ansi_color
module Array      = Array
module Bytes      = Bytes
module Comparator = Comparator
module Console    = Console
module Csexp      = Csexp
module Either     = Either
module Exn        = Exn
module Exn_with_backtrace = Exn_with_backtrace
module Filename   = Filename
module Hashtbl    = Hashtbl
module Table      = Table
module Int        = Int
module Id         = Id
module Io         = Io
module List       = List
module Map        = Map
module Option     = Option
module Or_exn     = Or_exn
module Ordering   = Ordering
module Pp         = Pp
module Result     = Result
module Set        = Set
module Signal     = Signal
module Comparable    = Comparable
module Comparable_intf = Comparable_intf
module Staged     = Staged
module String     = String
module Char       = Char
module Bool       = Bool
module Sexp       = Sexp
module Path       = Path
module Fmt        = Fmt
module Interned   = Interned
module Univ_map   = Univ_map
module Loc        = Loc
module Log        = Log
module Env        = Env
module Proc       = Proc
module Type_eq    = Type_eq
module Nothing    = Nothing
module Bin        = Bin
module Digest     = Digest
module Fdecl      = Fdecl
module Unit       = Unit
module Monad      = Monad
module Fn         = Fn
module Dyn        = Dyn
module Float      = Float
module Tuple      = Tuple
module Poly       = Poly
module Code_error = Code_error
module User_error = User_error
module User_message = User_message
module User_warning = User_warning
module Lexbuf = Lexbuf

(* Pervasives is deprecated in 4.08 in favor of Stdlib, however we are
   currently compatible with OCaml >= 4.02 so for now we simply
   disable the deprecation warning. *)
module Pervasives = Pervasives [@@warning "-3"]

external reraise : exn -> _ = "%reraise"

let compare a b = Ordering.of_int (compare a b)

(* The following types are re-exported here so that they are always
   available in scope *)

type ('a, 'error) result = ('a, 'error) Result.t =
  | Ok    of 'a
  | Error of 'error

type ('a, 'b) either = ('a, 'b) Either.t =
  | Left  of 'a
  | Right of 'b

type ordering = Ordering.t =
  | Lt
  | Eq
  | Gt

let sprintf = Printf.sprintf
let ksprintf = Printf.ksprintf