1Misc(3) OCaml library Misc(3)
2
6 Misc - Miscellaneous useful types and functions
7
9 Module Misc
10
12 Module Misc
13 : sig end
14 Miscellaneous useful types and functions
17 Warning: this module is unstable and part of Compiler_libs .
19 val fatal_error : string -> 'a
26 val fatal_errorf : ('a, Format.formatter, unit, 'b) format4 -> 'a
31 exception Fatal_error
36 val try_finally : ?always:(unit -> unit) -> ?exceptionally:(unit ->
42 unit) -> (unit -> 'a) -> 'a
43 try_finally work ~always ~exceptionally is designed to run code in work
46 that may fail with an exception, and has two kind of cleanup routines:
47 always , that must be run after any execution of the function (typi‐
48 cally, freeing system resources), and exceptionally , that should be
49 run only if work or always failed with an exception (typically, undoing
50 user-visible state changes that would only make sense if the function
51 completes correctly). For example:
52 let objfile = outputprefix ^ ".cmo" in
55 let oc = open_out_bin objfile in
56 Misc.try_finally
57 (fun () ->
58 bytecode
59 ++ Timings.(accumulate_time (Generate sourcefile))
60 (Emitcode.to_file oc modulename objfile);
61 Warnings.check_fatal ())
62 ~always:(fun () -> close_out oc)
63 ~exceptionally:(fun _exn -> remove_file objfile);
64 If exceptionally fail with an exception, it is propagated as usual.
67 If always or exceptionally use exceptions internally for control-flow
69 but do not raise, then try_finally is careful to preserve any exception
70 backtrace coming from work or always for easier debugging.
71 val reraise_preserving_backtrace : exn -> (unit -> unit) -> 'a
75 reraise_preserving_backtrace e f is (f (); raise e) except that the
78 current backtrace is preserved, even if f uses exceptions internally.
79 val map_end : ('a -> 'b) -> 'a list -> 'b list -> 'b list
83 val map_left_right : ('a -> 'b) -> 'a list -> 'b list
88 val for_all2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
93 val replicate_list : 'a -> int -> 'a list
98 val list_remove : 'a -> 'a list -> 'a list
103 val split_last : 'a list -> 'a list * 'a
108 type ref_and_value =
112 | R : 'a ref * 'a -> ref_and_value
113 val protect_refs : ref_and_value list -> (unit -> 'a) -> 'a
119 protect_refs l f temporarily sets r to v for each R (r, v) in l while
122 executing f . The previous contents of the references is restored even
123 if f raises an exception, without altering the exception backtrace.
124 module Stdlib : sig end
127 val find_in_path : string list -> string -> string
133 val find_in_path_rel : string list -> string -> string
138 val find_in_path_uncap : string list -> string -> string
143 val remove_file : string -> unit
148 val expand_directory : string -> string -> string
153 val split_path_contents : ?sep:char -> string -> string list
158 val create_hashtable : int -> ('a * 'b) list -> ('a, 'b) Hashtbl.t
163 val copy_file : in_channel -> out_channel -> unit
168 val copy_file_chunk : in_channel -> out_channel -> int -> unit
173 val string_of_file : in_channel -> string
178 val output_to_file_via_temporary : ?mode:open_flag list -> string ->
183 (string -> out_channel -> 'a) -> 'a
184 val protect_writing_to_file : filename:string -> f:(out_channel -> 'a)
189 -> 'a
190 Open the given filename for writing (in binary mode), pass the
192 out_channel to the given function, then close the channel. If the func‐
193 tion raises an exception then filename will be removed.
194 val log2 : int -> int
198 val align : int -> int -> int
203 val no_overflow_add : int -> int -> bool
208 val no_overflow_sub : int -> int -> bool
213 val no_overflow_mul : int -> int -> bool
218 val no_overflow_lsl : int -> int -> bool
223 module Int_literal_converter : sig end
227 val chop_extensions : string -> string
233 val search_substring : string -> string -> int -> int
238 val replace_substring : before:string -> after:string -> string ->
243 string
244 val rev_split_words : string -> string list
249 val get_ref : 'a list ref -> 'a list
254 val set_or_ignore : ('a -> 'b option) -> 'b option ref -> 'a -> unit
259 val fst3 : 'a * 'b * 'c -> 'a
264 val snd3 : 'a * 'b * 'c -> 'b
269 val thd3 : 'a * 'b * 'c -> 'c
274 val fst4 : 'a * 'b * 'c * 'd -> 'a
279 val snd4 : 'a * 'b * 'c * 'd -> 'b
284 val thd4 : 'a * 'b * 'c * 'd -> 'c
289 val for4 : 'a * 'b * 'c * 'd -> 'd
294 module LongString : sig end
298 val edit_distance : string -> string -> int -> int option
304 edit_distance a b cutoff computes the edit distance between strings a
307 and b . To help efficiency, it uses a cutoff: if the distance d is
308 smaller than cutoff , it returns Some d , else None .
309 The distance algorithm currently used is Damerau-Levenshtein: it com‐
311 putes the number of insertion, deletion, substitution of letters, or
312 swapping of adjacent letters to go from one word to the other. The par‐
313 ticular algorithm may change in the future.
314 val spellcheck : string list -> string -> string list
318 spellcheck env name takes a list of names env that exist in the current
321 environment and an erroneous name , and returns a list of suggestions
322 taken from env , that are close enough to name that it may be a typo
323 for one of them.
324 val did_you_mean : Format.formatter -> (unit -> string list) -> unit
328 did_you_mean ppf get_choices hints that the user may have meant one of
331 the option returned by calling get_choices . It does nothing if the re‐
332 turned list is empty.
333 The unit -> ... thunking is meant to delay any potentially-slow compu‐
335 tation (typically computing edit-distance with many things from the
336 current environment) to when the hint message is to be printed. You
337 should print an understandable error message before calling
338 did_you_mean , so that users get a clear notification of the failure
339 even if producing the hint is slow.
340 val cut_at : string -> char -> string * string
344 String.cut_at s c returns a pair containing the sub-string before the
347 first occurrence of c in s , and the sub-string after the first occur‐
348 rence of c in s . let (before, after) = String.cut_at s c in
349 before ^ String.make 1 c ^ after is the identity if s contains c .
350 Raise Not_found if the character does not appear in the string
352 Since 4.01
355 module Color : sig end
358 module Error_style : sig end
363 val normalise_eol : string -> string
369 normalise_eol s returns a fresh copy of s with any '\r' characters re‐
372 moved. Intended for pre-processing text which will subsequently be
373 printed on a channel which performs EOL transformations (i.e. Windows)
374 val delete_eol_spaces : string -> string
378 delete_eol_spaces s returns a fresh copy of s with any end of line spa‐
381 ces removed. Intended to normalize the output of the toplevel for
382 tests.
383 val pp_two_columns : ?sep:string -> ?max_lines:int -> Format.formatter
387 -> (string * string) list -> unit
388 pp_two_columns ?sep ?max_lines ppf l prints the lines in l as two col‐
391 umns separated by sep ("|" by default). max_lines can be used to indi‐
392 cate a maximum number of lines to print -- an ellipsis gets inserted at
393 the middle if the input has too many lines.
394 Example:
396 pp_two_columns ~max_lines:3 Format.std_formatter [ "abc", "hello";
398 "def", "zzz"; "a" , "bllbl"; "bb" , "dddddd"; ]
399 prints
401 abc | hello ... bb | dddddd
403 val show_config_and_exit : unit -> unit
408 configuration variables
410 val show_config_variable_and_exit : string -> unit
414 val get_build_path_prefix_map : unit -> Build_path_prefix_map.map op‐
419 tion
420 Returns the map encoded in the BUILD_PATH_PREFIX_MAP environment vari‐
422 able.
423 val debug_prefix_map_flags : unit -> string list
427 Returns the list of --debug-prefix-map flags to be passed to the assem‐
429 bler, built from the BUILD_PATH_PREFIX_MAP environment variable.
430 val print_if : Format.formatter -> bool ref -> (Format.formatter -> 'a
434 -> unit) -> 'a -> 'a
435 print_if ppf flag fmt x prints x with fmt on ppf if b is true.
438 type filepath = string
441 type modname = string
446 type crcs = (modname * Digest.t option) list
451 type alerts = string Stdlib.String.Map.t
456 module Magic_number : sig end
461OCamldoc 2022-02-04 Misc(3)