You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have ~30 calls to List.fold_right in our code and it seems at least for some of them they do the same thing as a fold_left (accumulator is a hash set, or only caller turns returned list into a set-like thing) and there's no particular reason to do things in a specific order.
We should go through them and replace them where appropriate.
The text was updated successfully, but these errors were encountered:
We have ~30 calls to
List.fold_right
in our code and it seems at least for some of them they do the same thing as afold_left
(accumulator is a hash set, or only caller turns returned list into a set-like thing) and there's no particular reason to do things in a specific order.We should go through them and replace them where appropriate.
The text was updated successfully, but these errors were encountered: