gazagnaire.org / irmin
Persistent store with Git semantics: lazy reads, delayed writes, content-addressing
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

irmin: admin/toml touchups from concurrent session

Thomas Gazagnaire b7d0059f 95c1d0c9

+4 -4
+1 -1
lib/admin/irmin_admin.ml
··· 10 10 fields 11 11 12 12 let parse text = 13 - match Toml.of_string Toml.value text with 13 + match Toml.of_string Toml.Value.codec text with 14 14 | Error _ -> empty 15 15 | Ok (Toml.Value.Table (fields, _)) -> ( 16 16 match assoc_unmeta "allow" fields with
+3 -3
lib/toml/irmin_toml.ml
··· 8 8 top so we can re-parse it as a stand-alone document. *) 9 9 let enc (v : Toml.Value.t) : string = 10 10 match v with 11 - | Toml.Value.Table _ -> Toml.to_string Toml.value v 11 + | Toml.Value.Table _ -> Toml.to_string Toml.Value.codec v 12 12 | _ -> 13 13 (* Scalars and arrays need to be wrapped; use a dummy key. *) 14 14 let wrapped = Toml.Value.Table ([ (("_", meta), v) ], meta) in 15 - Toml.to_string Toml.value wrapped 15 + Toml.to_string Toml.Value.codec wrapped 16 16 17 17 let dec (s : string) : Toml.Value.t = 18 - match Toml.of_string Toml.value s with 18 + match Toml.of_string Toml.Value.codec s with 19 19 | Ok (Toml.Value.Table ([ ((_, _), v) ], _)) -> v 20 20 | Ok v -> v 21 21 | Error _ -> Toml.Value.Table ([], meta)