Displaying 3 results from an estimated 3 matches for "open_machine_readable_channel".
2018 Aug 22
1
Re: [PATCH 2/2] OCaml tools: add output selection for --machine-readable
On Tue, Aug 21, 2018 at 05:44:30PM +0200, Pino Toscano wrote:
> +let machine_readable_printf fs =
> + let get_machine_readable_channel () =
> + let open_machine_readable_channel () =
> + match !machine_readable_output with
> + | NoOutput ->
> + (* Trying to use machine_readable_printf when --machine-readable was
> + * not enabled, and thus machine_readable () returns false.
> + *)
> + failwith "internal erro...
2018 Aug 21
0
[PATCH 2/2] OCaml tools: add output selection for --machine-readable
...et human_size i =
)
)
+type machine_readable_output_type =
+ | NoOutput
+ | Channel of out_channel
+ | File of string
+let machine_readable_output = ref NoOutput
+let machine_readable_channel = ref None
+let machine_readable_printf fs =
+ let get_machine_readable_channel () =
+ let open_machine_readable_channel () =
+ match !machine_readable_output with
+ | NoOutput ->
+ (* Trying to use machine_readable_printf when --machine-readable was
+ * not enabled, and thus machine_readable () returns false.
+ *)
+ failwith "internal error: machine_readable_printf use...
2018 Aug 21
4
[PATCH 0/2] RFC: add output selection for --machine-readable
Hi,
this is a first approach (hence RFC, since it misses tests &
documentation) in selecting the output for --machine-readable.
The possible choices are:
* --machine-readable: to stdout, like before
* --machine-readable=file:name-of-file: to the specified file
* --machine-readable=stream:stdout: explicitly to stdout
* --machine-readable=stream:stderr: explicitly to stderr
This makes it