Displaying 2 results from an estimated 2 matches for "f7abd5c3e".
2018 Mar 16
0
[PATCH v2 4/5] tools: Add machine_output function.
...able 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
+++ b/common/mltools/tools_utils.ml
@@ -102,6 +102,14 @@ let debug fs =
let display str = if verbose () then prerr_endline str in
ksprintf display fs
+let machine_output fs =
+ let display str =
+ print_endline "__MACHINEBEGIN__";
+...
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.