From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- ide/minilib.mli | 44 +++++++++++++++----------------------------- 1 file changed, 15 insertions(+), 29 deletions(-) (limited to 'ide/minilib.mli') diff --git a/ide/minilib.mli b/ide/minilib.mli index 53d6c87c..b7672c90 100644 --- a/ide/minilib.mli +++ b/ide/minilib.mli @@ -9,36 +9,22 @@ (** Some excerpts of Util and similar files to avoid depending on them and hence on Compat and Camlp4 *) -module Stringmap : Map.S with type key = string +val print_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit -val list_fold_left_i : (int -> 'a -> 'b -> 'a) -> int -> 'a -> 'b list -> 'a -val list_map_i : (int -> 'a -> 'b) -> int -> 'a list -> 'b list -val list_filter_i : (int -> 'a -> bool) -> 'a list -> 'a list -val list_chop : int -> 'a list -> 'a list * 'a list -val list_index0 : 'a -> 'a list -> int +type level = [ + | `DEBUG + | `INFO + | `NOTICE + | `WARNING + | `ERROR + | `FATAL ] -val string_map : (char -> char) -> string -> string +(** debug printing *) +val debug : bool ref -val subst_command_placeholder : string -> string -> string - -val home : string -val xdg_config_home : string -val xdg_config_dirs : string list -val xdg_data_home : string -val xdg_data_dirs : string list - -val coqtop_path : string ref - -(** safe version of Pervasives.prerr_endline - (avoid exception in win32 without console) *) -val safe_prerr_endline : string -> unit - -val remove_path_dot : string -> string -val strip_path : string -> string -val canonical_path_name : string -> string -(** correct_path f dir = dir/f if f is relative *) -val correct_path : string -> string -> string - -(** checks if two file names refer to the same (existing) file *) -val same_file : string -> string -> bool +val log : ?level:level -> string -> unit +val coqide_config_home : unit -> string +val coqide_config_dirs : unit -> string list +val coqide_data_dirs : unit -> string list +val is_prefix_of : string -> string -> bool -- cgit v1.2.3