Textutils_kernel, created by splitting out the platform-independent code from the Textutils library.Expose the constructors of Ascii_table.Align.t so that we can write
Column.create ~align:Left ...
instead of
Column.create ~align:Align.left
~narrow argument to Text_graph.renderAscii_table.Table_char, to expose the special table border characters.Text_block from Core_extended into Textutils.Changed Textutils.Console to not reference Async.Log, so that building inline benchmark runners no longer requires building Async.
The change makes Textutils, and by extension Core_extended and Core_bench, not depend on Async.
Console.Log module for writing colorized Async.Log messages.In Ascii_table module, added support for displaying table using ASCII characters instead of Unicode.
This is motivated by the need to use Core_bench in contexts where the extended ASCII character set is not suitable for displaying tables.
The default style is the following:
┌─────────────────┬───────────┬──────────┐
│ Name │ Time (ns) │ % of max │
├─────────────────┼───────────┼──────────┤
│ quick_stat │ 93.11 │ 100.00 │
│ counters │ 33.24 │ 35.70 │
│ allocated_bytes │ 37.03 │ 39.77 │
└─────────────────┴───────────┴──────────┘The new style is as follows:
$ ./test_bench.exe gc -q 0.5 -ascii
Estimated testing time 1.5s (change using -quota SECS).
Name Time (ns) % of max
----------------- ----------- ----------
quick_stat 93.17 100.00
counters 34.56 37.09
allocated_bytes 37.06 39.78Added new module Textutils.Text_graph for plotting text graphs on a terminal.
Here is an example density plot for minor_words from mcquote-stats.data.
(354 (3%) values outside the range, bucket size is 38.58)
74.00 3786 |----+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----|
112.58 0 |
151.17 0 |
189.75 0 |
228.33 0 |
266.92 0 |
305.50 0 |
344.08 0 |
382.67 0 |
421.25 0 |
459.83 3653 |----+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+-
498.42 4 |
537.00 1055 |----+----1----+----2----+--
575.58 308 |----+---
614.17 70 |-
652.75 404 |----+----1
691.33 71 |-
729.92 32 |
768.50 18 |
807.08 151 |---
845.67 17 |
884.25 4 |
922.83 8 |
961.42 66 |-
1000.00 0 |Each - is approximately 37.860 units.