Displaying 2 results from an estimated 2 matches for "__machinebegin__".
2018 Mar 16
0
[PATCH v2 4/5] tools: Add machine_output function.
Produces machine-readable output delimited by special markers
__MACHINEBEGIN__
__MACHINEEND__
---
common/mltools/tools_utils.ml | 8 ++++++++
common/mltools/tools_utils.mli | 11 +++++++++++
2 files changed, 19 insertions(+)
diff --git a/common/mltools/tools_utils.ml b/common/mltools/tools_utils.ml
index 09f1bb544..f7abd5c3e 100644
--- a/common/mltools/tools_utils.ml
+++...
2018 Mar 16
7
[PATCH v2 0/5] Add --print-target with machine-readable version.
This adds --print-target. In addition, v2 provides a machine-readable
version (in JSON format).
All of the record -> JSON boilerplate in this patch could be
eliminated if we moved the baseline to OCaml 4.02.
Rich.