OCaml compiler library : Misc

`sig
val fatal_error : string -> 'a
val fatal_errorf :
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
exception Fatal_error
val try_finally :
?always:(unit -> unit) ->
?exceptionally:(unit -> unit) -> (unit -> 'a) -> 'a
val reraise_preserving_backtrace : exn -> (unit -> unit) -> 'a
val map_end : ('a -> 'b) -> 'a list -> 'b list -> 'b list
val map_left_right : ('a -> 'b) -> 'a list -> 'b list
val for_all2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
val replicate_list : 'a -> int -> 'a list
val list_remove : 'a -> 'a list -> 'a list
val split_last : 'a list -> 'a list * 'a
type ref_and_value = R : 'a Stdlib.ref * 'a -> Misc.ref_and_value
val protect_refs : Misc.ref_and_value list -> (unit -> 'a) -> 'a
module Stdlib :
sig
module List :
sig
type 'a t = 'a list
val compare :
('a -> 'a -> int) ->
'a Misc.Stdlib.List.t -> 'a Misc.Stdlib.List.t -> int
val equal :
('a -> 'a -> bool) ->
'a Misc.Stdlib.List.t -> 'a Misc.Stdlib.List.t -> bool
val some_if_all_elements_are_some :
'a option Misc.Stdlib.List.t -> 'a Misc.Stdlib.List.t option
val map2_prefix :
('a -> 'b -> 'c) ->
'a Misc.Stdlib.List.t ->
'b Misc.Stdlib.List.t ->
'c Misc.Stdlib.List.t * 'b Misc.Stdlib.List.t
val split_at :
int ->
'a Misc.Stdlib.List.t ->
'a Misc.Stdlib.List.t * 'a Misc.Stdlib.List.t
val is_prefix :
equal:('a -> 'a -> bool) -> 'a list -> of_:'a list -> bool
type 'a longest_common_prefix_result = private {
longest_common_prefix : 'a list;
first_without_longest_common_prefix : 'a list;
second_without_longest_common_prefix : 'a list;
}
val find_and_chop_longest_common_prefix :
equal:('a -> 'a -> bool) ->
first:'a list ->
second:'a list ->
'a Misc.Stdlib.List.longest_common_prefix_result
end
module Option :
sig
type 'a t = 'a option
val print :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter -> 'a Misc.Stdlib.Option.t -> unit
end
module Array :
sig
val exists2 : ('a -> 'b -> bool) -> 'a array -> 'b array -> bool
val for_alli : (int -> 'a -> bool) -> 'a array -> bool
val all_somes : 'a option array -> 'a array option
end
module String :
sig
type t = string
val make : int -> char -> string
val init : int -> (int -> char) -> string
val empty : string
val of_bytes : bytes -> string
val to_bytes : string -> bytes
external length : string -> int = "%string_length"
external get : string -> int -> char = "%string_safe_get"
val concat : string -> string list -> string
val cat : string -> string -> string
val equal : t -> t -> bool
val compare : t -> t -> int
val starts_with : prefix:string -> string -> bool
val ends_with : suffix:string -> string -> bool
val contains_from : string -> int -> char -> bool
val rcontains_from : string -> int -> char -> bool
val contains : string -> char -> bool
val sub : string -> int -> int -> string
val split_on_char : char -> string -> string list
val map : (char -> char) -> string -> string
val mapi : (int -> char -> char) -> string -> string
val fold_left : ('a -> char -> 'a) -> 'a -> string -> 'a
val fold_right : (char -> 'a -> 'a) -> string -> 'a -> 'a
val exists : (char -> bool) -> string -> bool
val trim : string -> string
val escaped : string -> string
val uppercase_ascii : string -> string
val lowercase_ascii : string -> string
val capitalize_ascii : string -> string
val uncapitalize_ascii : string -> string
val iter : (char -> unit) -> string -> unit
val iteri : (int -> char -> unit) -> string -> unit
val index_from : string -> int -> char -> int
val index_from_opt : string -> int -> char -> int option
val rindex_from : string -> int -> char -> int
val rindex_from_opt : string -> int -> char -> int option
val index : string -> char -> int
val index_opt : string -> char -> int option
val rindex : string -> char -> int
val rindex_opt : string -> char -> int option
val to_seq : t -> char Seq.t
val to_seqi : t -> (int * char) Seq.t
val of_seq : char Seq.t -> t
external create : int -> bytes = "caml_create_string"
external set : bytes -> int -> char -> unit = "%string_safe_set"
val blit : string -> int -> bytes -> int -> int -> unit
val copy : string -> string
val fill : bytes -> int -> int -> char -> unit
val uppercase : string -> string
val lowercase : string -> string
val capitalize : string -> string
val uncapitalize : string -> string
val get_uint8 : string -> int -> int
val get_int8 : string -> int -> int
val get_uint16_ne : string -> int -> int
val get_uint16_be : string -> int -> int
val get_uint16_le : string -> int -> int
val get_int16_ne : string -> int -> int
val get_int16_be : string -> int -> int
val get_int16_le : string -> int -> int
val get_int32_ne : string -> int -> int32
val get_int32_be : string -> int -> int32
val get_int32_le : string -> int -> int32
val get_int64_ne : string -> int -> int64
val get_int64_be : string -> int -> int64
val get_int64_le : string -> int -> int64
external unsafe_get : string -> int -> char = "%string_unsafe_get"
external unsafe_set : bytes -> int -> char -> unit
= "%string_unsafe_set"
external unsafe_blit : string -> int -> bytes -> int -> int -> unit
= "caml_blit_string" [@@noalloc]
external unsafe_fill : bytes -> int -> int -> char -> unit
= "caml_fill_string" [@@noalloc]
module Set :
sig
type elt = string
type t
val empty : t
val is_empty : t -> bool
val mem : elt -> t -> bool
val add : elt -> t -> t
val singleton : elt -> t
val remove : elt -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val disjoint : t -> t -> bool
val diff : t -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : (elt -> unit) -> t -> unit
val map : (elt -> elt) -> t -> t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val for_all : (elt -> bool) -> t -> bool
val exists : (elt -> bool) -> t -> bool
val filter : (elt -> bool) -> t -> t
val filter_map : (elt -> elt option) -> t -> t
val partition : (elt -> bool) -> t -> t * t
val cardinal : t -> int
val elements : t -> elt list
val min_elt : t -> elt
val min_elt_opt : t -> elt option
val max_elt : t -> elt
val max_elt_opt : t -> elt option
val choose : t -> elt
val choose_opt : t -> elt option
val split : elt -> t -> t * bool * t
val find : elt -> t -> elt
val find_opt : elt -> t -> elt option
val find_first : (elt -> bool) -> t -> elt
val find_first_opt : (elt -> bool) -> t -> elt option
val find_last : (elt -> bool) -> t -> elt
val find_last_opt : (elt -> bool) -> t -> elt option
val of_list : elt list -> t
val to_seq_from : elt -> t -> elt Seq.t
val to_seq : t -> elt Seq.t
val to_rev_seq : t -> elt Seq.t
val add_seq : elt Seq.t -> t -> t
val of_seq : elt Seq.t -> t
end
module Map :
sig
type key = string
type +!'a t
val empty : 'a t
val is_empty : 'a t -> bool
val mem : key -> 'a t -> bool
val add : key -> 'a -> 'a t -> 'a t
val update : key -> ('a option -> 'a option) -> 'a t -> 'a t
val singleton : key -> 'a -> 'a t
val remove : key -> 'a t -> 'a t
val merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a t -> 'b t -> 'c t
val union :
(key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val for_all : (key -> 'a -> bool) -> 'a t -> bool
val exists : (key -> 'a -> bool) -> 'a t -> bool
val filter : (key -> 'a -> bool) -> 'a t -> 'a t
val filter_map : (key -> 'a -> 'b option) -> 'a t -> 'b t
val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
val cardinal : 'a t -> int
val bindings : 'a t -> (key * 'a) list
val min_binding : 'a t -> key * 'a
val min_binding_opt : 'a t -> (key * 'a) option
val max_binding : 'a t -> key * 'a
val max_binding_opt : 'a t -> (key * 'a) option
val choose : 'a t -> key * 'a
val choose_opt : 'a t -> (key * 'a) option
val split : key -> 'a t -> 'a t * 'a option * 'a t
val find : key -> 'a t -> 'a
val find_opt : key -> 'a t -> 'a option
val find_first : (key -> bool) -> 'a t -> key * 'a
val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
val find_last : (key -> bool) -> 'a t -> key * 'a
val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
val to_seq : 'a t -> (key * 'a) Seq.t
val to_rev_seq : 'a t -> (key * 'a) Seq.t
val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
val of_seq : (key * 'a) Seq.t -> 'a t
end
module Tbl :
sig
type key = string
type !'a t
val create : int -> 'a t
val clear : 'a t -> unit
val reset : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_opt : 'a t -> key -> 'a option
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val filter_map_inplace :
(key -> 'a -> 'a option) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val length : 'a t -> int
val stats : 'a t -> Hashtbl.statistics
val to_seq : 'a t -> (key * 'a) Seq.t
val to_seq_keys : 'a t -> key Seq.t
val to_seq_values : 'a t -> 'a Seq.t
val add_seq : 'a t -> (key * 'a) Seq.t -> unit
val replace_seq : 'a t -> (key * 'a) Seq.t -> unit
val of_seq : (key * 'a) Seq.t -> 'a t
end
val print : Stdlib.Format.formatter -> t -> unit
val for_all : (char -> bool) -> t -> bool
end
external compare : 'a -> 'a -> int = "%compare"
end
val find_in_path : string list -> string -> string
val find_in_path_rel : string list -> string -> string
val find_in_path_uncap : string list -> string -> string
val remove_file : string -> unit
val expand_directory : string -> string -> string
val split_path_contents : ?sep:char -> string -> string list
val create_hashtable : int -> ('a * 'b) list -> ('a, 'b) Stdlib.Hashtbl.t
val copy_file : Stdlib.in_channel -> Stdlib.out_channel -> unit
val copy_file_chunk :
Stdlib.in_channel -> Stdlib.out_channel -> int -> unit
val string_of_file : Stdlib.in_channel -> string
val output_to_file_via_temporary :
?mode:Stdlib.open_flag list ->
string -> (string -> Stdlib.out_channel -> 'a) -> 'a
val protect_writing_to_file :
filename:string -> f:(Stdlib.out_channel -> 'a) -> 'a
val log2 : int -> int
val align : int -> int -> int
val no_overflow_add : int -> int -> bool
val no_overflow_sub : int -> int -> bool
val no_overflow_mul : int -> int -> bool
val no_overflow_lsl : int -> int -> bool
module Int_literal_converter :
sig
val int : string -> int
val int32 : string -> int32
val int64 : string -> int64
val nativeint : string -> nativeint
end
val chop_extensions : string -> string
val search_substring : string -> string -> int -> int
val replace_substring : before:string -> after:string -> string -> string
val rev_split_words : string -> string list
val get_ref : 'a list Stdlib.ref -> 'a list
val set_or_ignore : ('a -> 'b option) -> 'b option Stdlib.ref -> 'a -> unit
val fst3 : 'a * 'b * 'c -> 'a
val snd3 : 'a * 'b * 'c -> 'b
val thd3 : 'a * 'b * 'c -> 'c
val fst4 : 'a * 'b * 'c * 'd -> 'a
val snd4 : 'a * 'b * 'c * 'd -> 'b
val thd4 : 'a * 'b * 'c * 'd -> 'c
val for4 : 'a * 'b * 'c * 'd -> 'd
module LongString :
sig
type t = bytes array
val create : int -> Misc.LongString.t
val length : Misc.LongString.t -> int
val get : Misc.LongString.t -> int -> char
val set : Misc.LongString.t -> int -> char -> unit
val blit :
Misc.LongString.t -> int -> Misc.LongString.t -> int -> int -> unit
val blit_string :
string -> int -> Misc.LongString.t -> int -> int -> unit
val output :
Stdlib.out_channel -> Misc.LongString.t -> int -> int -> unit
val input_bytes_into :
Misc.LongString.t -> Stdlib.in_channel -> int -> unit
val input_bytes : Stdlib.in_channel -> int -> Misc.LongString.t
end
val edit_distance : string -> string -> int -> int option
val spellcheck : string list -> string -> string list
val did_you_mean : Stdlib.Format.formatter -> (unit -> string list) -> unit
val cut_at : string -> char -> string * string
module Color :
sig
type color =
Black
| Red
| Green
| Yellow
| Blue
| Magenta
| Cyan
| White
type style =
FG of Misc.Color.color
| BG of Misc.Color.color
| Bold
| Reset
type Stdlib.Format.stag += Style of Misc.Color.style list
val ansi_of_style_l : Misc.Color.style list -> string
type styles = {
error : Misc.Color.style list;
warning : Misc.Color.style list;
loc : Misc.Color.style list;
}
val default_styles : Misc.Color.styles
val get_styles : unit -> Misc.Color.styles
val set_styles : Misc.Color.styles -> unit
type setting = Auto | Always | Never
val default_setting : Misc.Color.setting
val setup : Misc.Color.setting option -> unit
val set_color_tag_handling : Stdlib.Format.formatter -> unit
end
module Error_style :
sig
type setting = Contextual | Short
val default_setting : Misc.Error_style.setting
end
val normalise_eol : string -> string
val delete_eol_spaces : string -> string
val pp_two_columns :
?sep:string ->
?max_lines:int ->
Stdlib.Format.formatter -> (string * string) list -> unit
val show_config_and_exit : unit -> unit
val show_config_variable_and_exit : string -> unit
val get_build_path_prefix_map : unit -> Build_path_prefix_map.map option
val debug_prefix_map_flags : unit -> string list
val print_if :
Stdlib.Format.formatter ->
bool Stdlib.ref -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> 'a
type filepath = string
type modname = string
type crcs = (Misc.modname * Stdlib.Digest.t option) list
type alerts = string Misc.Stdlib.String.Map.t
module Magic_number :
sig
type native_obj_config = { flambda : bool; }
val native_obj_config : Misc.Magic_number.native_obj_config
type version = int
type kind =
Exec
| Cmi
| Cmo
| Cma
| Cmx of Misc.Magic_number.native_obj_config
| Cmxa of Misc.Magic_number.native_obj_config
| Cmxs
| Cmt
| Ast_impl
| Ast_intf
type info = {
kind : Misc.Magic_number.kind;
version : Misc.Magic_number.version;
}
type raw = string
type parse_error = Truncated of string | Not_a_magic_number of string
val explain_parse_error :
Misc.Magic_number.kind option ->
Misc.Magic_number.parse_error -> string
val parse :
Misc.Magic_number.raw ->
(Misc.Magic_number.info, Misc.Magic_number.parse_error) Stdlib.result
val read_info :
Stdlib.in_channel ->
(Misc.Magic_number.info, Misc.Magic_number.parse_error) Stdlib.result
val magic_length : int
type 'a unexpected = { expected : 'a; actual : 'a; }
type unexpected_error =
Kind of Misc.Magic_number.kind Misc.Magic_number.unexpected
| Version of Misc.Magic_number.kind *
Misc.Magic_number.version Misc.Magic_number.unexpected
val check_current :
Misc.Magic_number.kind ->
Misc.Magic_number.info ->
(unit, Misc.Magic_number.unexpected_error) Stdlib.result
val explain_unexpected_error :
Misc.Magic_number.unexpected_error -> string
type error =
Parse_error of Misc.Magic_number.parse_error
| Unexpected_error of Misc.Magic_number.unexpected_error
val read_current_info :
expected_kind:Misc.Magic_number.kind option ->
Stdlib.in_channel ->
(Misc.Magic_number.info, Misc.Magic_number.error) Stdlib.result
val string_of_kind : Misc.Magic_number.kind -> string
val human_name_of_kind : Misc.Magic_number.kind -> string
val current_raw : Misc.Magic_number.kind -> Misc.Magic_number.raw
val current_version :
Misc.Magic_number.kind -> Misc.Magic_number.version
type raw_kind = string
val parse_kind :
Misc.Magic_number.raw_kind -> Misc.Magic_number.kind option
val raw_kind : Misc.Magic_number.kind -> Misc.Magic_number.raw_kind
val raw : Misc.Magic_number.info -> Misc.Magic_number.raw
val all_kinds : Misc.Magic_number.kind list
end
end`