From 8837c2365c382adb0a74bfedabb1659eeb472adc Mon Sep 17 00:00:00 2001 From: pboutill Date: Wed, 23 May 2012 14:41:24 +0000 Subject: Revert copy/pasted function in to minilib thanks to clib.cma git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15352 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/minilib.mli | 32 +++----------------------------- 1 file changed, 3 insertions(+), 29 deletions(-) (limited to 'ide/minilib.mli') diff --git a/ide/minilib.mli b/ide/minilib.mli index 53d6c87c2..1254f5a6d 100644 --- a/ide/minilib.mli +++ b/ide/minilib.mli @@ -9,36 +9,10 @@ (** 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 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 - -val string_map : (char -> char) -> string -> string - -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 +(** debug printing *) +val debug : bool ref +val prerr_endline : string -> unit (** 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 - -- cgit v1.2.3