X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/blobdiff_plain/87219ebd28426c6d21cb545233ee52f5f7af7dfd..refs/tags/mediawiki-1.17.0:/math/util.ml diff --git a/math/util.ml b/math/util.ml index f0458562..ece01605 100644 --- a/math/util.ml +++ b/math/util.ml @@ -1,17 +1,26 @@ +(* vim: set sw=8 ts=8 et: *) + +(* TODO document *) let mapjoin f l = (List.fold_left (fun a b -> a ^ (f b)) "" l) + +(* TODO document *) let mapjoine e f = function [] -> "" | h::t -> (List.fold_left (fun a b -> a ^ e ^ (f b)) (f h) t) +(* Exception used by open_out_unless_exists below *) exception FileAlreadyExists + +(* Wrapper which raise an exception when output path already exist *) let open_out_unless_exists path = if Sys.file_exists path then raise FileAlreadyExists else open_out path +(* *) let run_in_other_directory tmppath cmd = let prevdir = Sys.getcwd () in( - Sys.chdir tmppath; - let retval = Sys.command cmd in - (Sys.chdir prevdir; retval) + Sys.chdir tmppath; + let retval = Sys.command cmd in + (Sys.chdir prevdir; retval) )