Richard W.M. Jones
457bdb4e2f
common/mlstdutils: Drop our implementations of functions now in OCaml 4.01.
...
We reimplemented some functions which can now be found in the OCaml
stdlib since 4.01 (or earlier). The functions I have dropped are:
- String.map
- |>
- iteri (replaced by List.iteri)
- mapi (replaced by List.mapi)
Note that our definition of iteri was slightly wrong: the type of the
function parameter was too wide, allowing (int -> 'a -> 'b) instead of
(int -> 'a -> unit).
I also added this new function to the Std_utils.String module as an
export from stdlib String:
- String.iteri
Thanks: Pino Toscano
2017-10-05 11:32:54 +01:00
..
2017-09-28 14:39:23 +01:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-09-21 11:52:23 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-09-21 18:05:07 +01:00
2017-09-28 14:39:23 +01:00
2017-02-25 20:20:05 +00:00
2017-10-05 11:32:54 +01:00
2017-04-06 10:28:38 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-09-04 16:20:50 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-09-04 16:20:50 +01:00
2017-09-28 14:39:23 +01:00
2017-02-25 12:57:49 +00:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-04-11 22:39:38 +01:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-07-10 17:01:59 +01:00
2017-02-24 09:05:30 +00:00
2017-02-24 09:05:30 +00:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-04-06 16:29:44 +01:00
2017-09-28 14:39:23 +01:00
2017-09-28 14:39:22 +01:00
2017-09-28 14:39:23 +01:00
2017-07-10 17:01:59 +01:00
2017-02-22 21:16:01 +00:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-02-25 20:20:05 +00:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2017-02-25 20:32:30 +00:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-09-28 14:39:23 +01:00
2017-02-25 12:57:49 +00:00
2017-09-28 14:39:23 +01:00
2017-03-17 11:23:50 +00:00
2017-09-28 14:39:23 +01:00
2017-04-11 22:39:38 +01:00
2017-07-18 18:42:23 +01:00
2017-05-08 11:14:46 +01:00
2017-05-08 11:14:46 +01:00
2017-10-05 11:32:54 +01:00
2017-01-03 16:48:21 +01:00
2017-02-21 17:23:22 +00:00
2015-07-02 14:17:23 +01:00
2017-02-21 17:23:22 +00:00
2017-01-03 16:48:21 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2016-06-22 18:25:36 +01:00
2017-02-21 17:23:22 +00:00
2017-01-03 16:48:21 +01:00
2017-02-21 17:23:22 +00:00
2017-03-13 15:01:12 +00:00
2017-03-13 15:01:12 +00:00
2017-03-07 12:47:51 +00:00
2017-03-07 12:47:51 +00:00
2017-03-07 12:47:51 +00:00
2017-03-17 11:23:50 +00:00
2015-04-30 17:38:49 +01:00
2017-02-21 17:23:22 +00:00
2017-03-07 12:47:51 +00:00
2017-03-17 11:23:50 +00:00
2017-01-31 12:01:12 +00:00
2017-02-21 17:23:22 +00:00
2017-03-07 12:47:51 +00:00
2017-03-07 12:47:51 +00:00
2017-03-17 11:23:50 +00:00
2017-03-18 11:17:13 +00:00
2016-05-24 09:19:48 +01:00
2017-03-13 15:01:12 +00:00
2017-03-17 11:23:50 +00:00
2017-03-18 11:17:13 +00:00
2017-02-04 15:13:29 +00:00
2017-03-13 15:01:12 +00:00
2017-03-17 11:23:50 +00:00
2017-03-18 11:17:13 +00:00
2014-10-16 16:00:34 +01:00
2017-03-13 15:01:12 +00:00
2014-09-04 09:59:14 +01:00
2017-02-23 15:42:15 +00:00
2017-04-06 16:29:44 +01:00
2017-04-12 08:32:58 +01:00
2017-04-11 22:39:38 +01:00
2017-04-12 08:32:58 +01:00
2017-04-11 22:39:38 +01:00
2017-04-12 08:32:58 +01:00
2017-04-11 22:39:38 +01:00
2017-04-12 08:32:58 +01:00
2017-04-11 22:39:38 +01:00
2017-04-12 08:32:58 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2014-09-24 18:29:59 +01:00
2017-02-21 17:23:22 +00:00
2017-01-03 16:48:21 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-03-08 13:13:36 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-03-17 11:24:30 +00:00
2017-03-17 11:08:22 +00:00
2017-03-17 11:23:50 +00:00
2017-02-23 12:52:13 +00:00
2017-01-03 16:48:21 +01:00
2017-02-21 17:23:22 +00:00
2017-02-24 20:59:17 +00:00
2017-02-24 20:59:17 +00:00
2016-01-29 12:41:02 +00:00
2017-09-30 22:17:05 +01:00
2017-09-30 22:17:05 +01:00
2017-10-05 11:32:54 +01:00
2017-07-27 13:11:43 +01:00
2017-09-28 14:39:23 +01:00
2017-10-05 11:32:54 +01:00
2017-09-21 18:05:07 +01:00
2017-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-01-03 16:48:21 +01:00
2017-10-02 19:56:12 +01:00
2017-09-28 14:39:23 +01:00
2017-04-06 16:29:44 +01:00
2017-09-28 14:39:23 +01:00
2017-02-21 12:08:45 +00:00