util.ml

来自「php 开发的内容管理系统」· ML 代码 · 共 18 行

ML
18
字号
let mapjoin f l = (List.fold_left (fun a b -> a ^ (f b)) "" l)let mapjoine e f = function    [] -> ""  | h::t -> (List.fold_left (fun a b -> a ^ e ^ (f b)) (f h) t)exception FileAlreadyExistslet open_out_unless_exists path =    if Sys.file_exists path    then raise FileAlreadyExists    else open_out pathlet run_in_other_directory tmppath cmd =    let prevdir = Sys.getcwd () in(	Sys.chdir tmppath;	let retval = Sys.command cmd in	    (Sys.chdir prevdir; retval)    )

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?