diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2012-05-30 11:28:28 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2012-05-30 11:28:28 +0000 |
| commit | e3d82817909dd7bc69dff4f75aa63c5ba606d9c8 (patch) | |
| tree | 449ad779c3a88d242648ac8cf4d9654b9bd2e9e1 /ocamldoc/odoc_text_parser.mly | |
| parent | acc19ff16704002f21225ef74128bf3c4a4dcd9d (diff) | |
Ensure that {Set,Map}.{filter,partition} call their functional argument
in the user-expected left-to-right evaluation order.
This is a cosmetics change but users usually expect the
mapping/filtering functions to be called in increasing key order. As
the order for filter and partition changed recently anyway (commit
r12026), it makes sense to "fix" it now.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_text_parser.mly')
0 files changed, 0 insertions, 0 deletions