Commit d81cbb5d authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

Yes the order is important.

We try to preserve the order of tasks returned by splitting
transformations.

Revert "Use map_rev instead of map, is the order important?"
parent a17ef403
......@@ -83,7 +83,7 @@ let fold fn v =
let fold_l fn v = fold (fun task -> list_apply (fn task)) [v]
let fold_map fn v t = conv_res snd (fold fn (v, t))
let fold_map_l fn v t = conv_res (List.rev_map snd) (fold_l fn (v, t))
let fold_map_l fn v t = conv_res (List.map snd) (fold_l fn (v, t))
let gen_decl add fn =
let fn = Wdecl.memoize 63 fn in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment