Remove redundant Store.with_id

git-svn-id: file:///srv/svn/repo/kosuzu/trunk@11 eb64cd80-c68d-6f47-b6a3-0ada418499da
This commit is contained in:
fox
2022-06-20 23:08:12 +00:00
parent 03b7ef8563
commit ee326c3cf8
2 changed files with 0 additions and 13 deletions

View File

@@ -94,18 +94,6 @@ let fold ?(r=false) ?(dir=def_dir ()) ?(predicate=fun _ -> true) ?order ?number
| None -> List.fold_left fn acc @@ TextMap.bindings @@
List.fold_left (fold_valid_text predicate) new_iteration flist
let with_id ?(r=false) ?(dir=def_dir ()) id =
let matched acc path =
match to_text path with
| Error x -> prerr_endline x; acc
| Ok text when text.Text.id <> id -> acc
| Ok text ->
match acc with
| Ok None -> Ok (Some text)
| Ok (Some prev) -> if prev = text then acc else Error [text; prev]
| Error x -> Error (text :: x)
in List.fold_left matched (Ok None) (list_fs ~r dir)
let with_dir ?(descr="") ?(perm=0o740) dir =
let mkdir dir = match Unix.mkdir dir perm with
| exception Unix.Unix_error (EEXIST, _, _) -> ()