Changeset 11 in code for trunk/lib/file_store.ml

Timestamp:

Jun 20, 2022, 11:08:12 PM (3 years ago)

Author:

fox

Message:

Remove redundant Store.with_id

File:

• trunk/lib/file_store.ml (modified) (1 diff)

trunk/lib/file_store.ml

@@ -95 +95 @@
                 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