Richard W.M. Jones
2cc348448a
generator: Share Common_utils code.
...
For a very long time we have maintained two sets of utility functions,
in mllib/common_utils.ml and generator/utils.ml. This changes things
so that the same set of utility functions can be shared with both
directories.
It's not possible to use common_utils.ml directly in the generator
because it provides several functions that use modules outside the
OCaml stdlib. Therefore we add some lightweight post-processing which
extracts the functions using only the stdlib:
(*<stdlib>*)
...
(*</stdlib>*)
and creates generator/common_utils.ml and generator/common_utils.mli
from that. The effect is we only need to write utility functions
once.
As with other tools, we still have generator-specific utility
functions in generator/utils.ml.
Also in this change:
- Use String.uppercase_ascii and String.lowercase_ascii in place
of deprecated String.uppercase/String.lowercase.
- Implement String.capitalize_ascii to replace deprecated
String.capitalize.
- Move isspace, isdigit, isxdigit functions to Char module.
2016-12-09 09:31:25 +00:00
..
2016-12-07 14:12:28 +00:00
2016-08-03 15:01:59 +02:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-04-30 12:49:28 +01:00
2016-10-07 14:55:51 +02:00
2016-04-05 21:20:26 +01:00
2016-12-09 09:31:25 +00:00
2016-04-05 21:20:26 +01:00
2016-09-09 16:09:39 +01:00
2016-06-12 18:24:45 +01:00
2016-06-12 18:24:45 +01:00
2016-08-25 09:02:01 +01:00
2016-08-25 09:02:01 +01:00
2016-08-25 09:02:01 +01:00
2016-09-21 14:03:23 +01:00
2016-01-02 21:19:51 +00:00
2016-08-25 09:02:01 +01:00
2016-08-25 09:02:01 +01:00
2016-09-09 16:09:39 +01:00
2016-01-02 21:19:51 +00:00
2016-08-25 09:02:01 +01:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-09-21 14:03:23 +01:00
2016-01-02 21:19:51 +00:00
2016-10-11 10:48:24 +01:00
2016-01-02 21:19:51 +00:00
2016-06-13 10:21:14 +01:00
2016-04-24 11:31:16 +01:00
2016-10-03 14:33:20 +02:00
2016-08-26 15:54:04 +01:00
2016-10-04 09:40:54 +02:00
2016-10-03 14:33:20 +02:00
2016-08-26 15:21:34 +02:00
2016-05-23 09:59:21 +01:00
2016-12-07 14:12:28 +00:00
2016-07-08 09:56:47 +01:00
2016-03-24 15:07:01 +03:00
2016-09-09 16:09:39 +01:00
2016-09-09 16:09:39 +01:00
2016-11-01 17:24:19 +00:00
2016-01-02 21:19:51 +00:00
2016-09-21 14:03:23 +01:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-08-23 17:23:10 +01:00
2016-01-02 21:19:51 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-06-22 18:25:36 +01:00
2016-04-24 11:31:48 +01:00
2016-04-12 10:37:12 +01:00
2015-07-02 14:17:23 +01:00
2015-11-05 16:23:10 +00:00
2016-01-02 21:19:51 +00:00
2016-10-19 12:19:43 +01:00
2015-11-19 21:51:42 +00:00
2016-07-19 13:06:14 +01:00
2016-06-22 18:25:36 +01:00
2016-06-22 18:25:36 +01:00
2016-06-22 18:25:36 +01:00
2015-11-05 16:23:10 +00:00
2016-03-24 15:07:01 +03:00
2015-04-30 17:38:49 +01:00
2016-10-07 14:33:44 +02:00
2016-03-24 15:07:01 +03:00
2016-10-07 14:33:44 +02:00
2016-05-24 09:19:48 +01:00
2016-05-24 09:19:48 +01:00
2016-10-07 14:33:44 +02:00
2016-03-24 15:07:01 +03:00
2016-10-07 14:33:44 +02:00
2016-10-07 14:33:48 +02:00
2016-06-22 18:25:36 +01:00
2016-05-20 10:48:50 +01:00
2015-11-05 16:23:10 +00:00
2016-01-02 21:19:51 +00:00
2016-12-07 14:12:28 +00:00
2015-11-05 16:23:10 +00:00
2016-09-01 08:41:06 +01:00
2015-11-05 16:23:10 +00:00
2015-11-05 16:23:10 +00:00
2016-12-07 14:12:28 +00:00
2016-12-07 14:12:28 +00:00
2016-01-02 21:19:51 +00:00
2015-11-05 16:23:10 +00:00
2015-11-05 16:23:10 +00:00
2016-04-14 14:08:04 +03:00
2015-11-05 16:23:10 +00:00
2016-01-02 21:19:51 +00:00
2016-08-27 14:07:48 +01:00
2016-05-20 10:48:50 +01:00
2016-05-20 10:48:50 +01:00
2016-01-29 12:41:02 +00:00
2016-09-21 14:03:23 +01:00
2016-12-07 14:12:28 +00:00
2016-08-18 14:48:51 +01:00
2016-09-23 17:40:09 +02:00
2016-09-23 17:40:09 +02:00
2016-08-18 14:48:51 +01:00
2016-09-09 16:09:39 +01:00
2016-07-08 09:56:47 +01:00
2016-01-02 21:19:51 +00:00
2016-01-02 21:19:51 +00:00
2016-12-07 14:12:28 +00:00
2016-07-12 08:25:29 +01:00
2016-05-21 15:40:56 +01:00
2016-01-31 14:25:30 +00:00
2016-05-21 15:40:56 +01:00
2016-08-31 11:24:44 +01:00
2016-07-31 17:20:08 +01:00
2016-07-31 17:04:16 +01:00
2016-09-09 16:09:39 +01:00
2016-09-09 16:09:39 +01:00