Changeset 11 in code

Timestamp:

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

Author:

fox

Message:

Remove redundant Store.with_id

Location:

trunk/lib

Files:

• file_store.ml (modified) (1 diff)
• 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

trunk/lib/store.ml

@@ -9 +9 @@
         val newest: record_t -> record_t -> int
         val oldest: record_t -> record_t -> int
-        val with_id: archive_t -> Id.t -> (Text.t option, Text.t list) result
         val with_text: archive_t -> Text.t -> (string * Text.t, string) result
         val iter: ?predicate:(Text.t -> bool) -> ?order:(record_t -> record_t -> int) -> ?number:int