balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Error_monad: make filter_map_p truly parallel

Browse Source
This commit is contained in:
Raphaël Proust 2018-06-19 14:36:28 +08:00
parent 18f6dab856
commit 52dc0c5858
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib_error_monad/error_monad.ml
View File

@ -426,12 +426,12 @@ module Make(Prefix : sig val id : string end) = struct
filter_map_s f t >>=? fun rt -> filter_map_s f t >>=? fun rt ->
return (rh :: rt) return (rh :: rt)
let filter_map_p f l = let rec filter_map_p f l =
match l with match l with
| [] -> return [] | [] -> return []
| h :: t -> | h :: t ->
let th = f h let th = f h
and tt = filter_map_s f t in and tt = filter_map_p f t in
th >>=? function th >>=? function
| None -> tt | None -> tt
| Some rh -> | Some rh ->