search for: get_machine_readable_channel

Displaying 3 results from an estimated 3 matches for "get_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. > +...
2018 Aug 21
0
[PATCH 2/2] OCaml tools: add output selection for --machine-readable
...ools/tools_utils.ml @@ -229,10 +229,60 @@ let 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 &quot...
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