swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

fix unwrap_list

Browse source
This commit is contained in:
Swrup 2022-02-21 11:33:03 +01:00
parent 771cb7e76d
commit 7137d2790f
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/babillard.ml
View file

@ -26,9 +26,10 @@ type t =
let unwrap_list f ids = let unwrap_list f ids =
let l = List.map f ids in let l = List.map f ids in
let res = List.find_opt Result.is_error l in let res = List.find_opt Result.is_error l in
if Option.is_some res then match res with
Error (Result.fold ~ok:(assert false) ~error:Fun.id (Option.get res)) | None -> Ok (List.map Result.get_ok l)
else Ok (List.map Result.get_ok l) | Some (Ok _) -> assert false
| Some (Error e) -> Error e
module Q = struct module Q = struct
let create_post_user_table = let create_post_user_table =