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-18 16:06:04 +01:00
2014-03-04 00:06:09 +01:00
2015-09-08 11:51:49 +02:00
2016-11-30 14:20:20 +00: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-09-28 14:39:23 +01:00
2017-01-03 16:48:21 +01:00
2017-10-05 11:32:54 +01:00
2016-10-25 10:15:04 +02:00
2017-10-05 11:32:54 +01:00
2015-07-28 13:30:39 +02:00
2016-07-26 10:43:45 +01:00
2017-07-18 18:42:23 +01:00
2016-07-27 15:24:29 +02:00
2014-03-20 15:36:38 +01:00
2014-10-23 19:03:12 +02:00
2017-07-10 17:01:59 +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-09-28 14:39:23 +01:00
2014-03-11 14:20:22 +01:00
2014-02-27 09:59:56 +00:00
2014-02-27 09:59:56 +00:00
2017-10-05 11:32:54 +01:00
2016-07-18 18:21:41 +02:00
2017-09-28 14:39:23 +01:00
2015-09-30 10:55:37 +02:00
2015-09-30 10:55:37 +02:00
2017-09-28 14:39:23 +01:00
2017-09-21 18:05:07 +01:00
2017-07-18 18:42:23 +01:00
2014-03-29 15:09:19 +00:00
2014-03-29 15:09:19 +00:00
2014-12-12 15:50:07 +00:00
2014-01-30 17:05:34 +01:00
2014-01-30 17:05:34 +01:00
2017-09-28 14:39:23 +01:00
2016-10-25 10:15:04 +02:00
2017-10-05 11:32:54 +01:00
2015-09-08 09:51:49 +02:00
2017-10-05 11:32:54 +01:00
2016-07-07 18:13:07 +01:00
2017-02-21 17:23:22 +00:00
2014-04-03 08:44:24 +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
2014-04-03 08:58:46 +01:00
2014-04-03 08:58:46 +01:00
2014-04-03 08:58:46 +01:00
2015-03-23 12:49:27 +00:00
2015-03-23 12:49:27 +00:00
2017-09-28 14:39:23 +01:00
2017-09-21 18:05:07 +01:00
2017-04-11 22:54:52 +01:00
2015-06-15 15:42:46 +01:00
2016-01-11 13:42:49 +00:00
2016-07-26 10:43:45 +01:00
2017-09-28 14:39:23 +01:00
2017-01-05 09:25:11 +01:00