Commit d29ca960 authored by erwan's avatar erwan
Browse files

Update: be more verbose in verbose mode wrt rif reading

parent c35cfd78
(* Time-stamp: <modified the 28/03/2019 (at 15:31) by Erwan Jahier> *)
(* Time-stamp: <modified the 28/03/2019 (at 16:29) by Erwan Jahier> *)
(* xxx use RifIO.read instead ! *)
let bool verbose_mode p a =
......@@ -20,7 +20,7 @@ let bool verbose_mode p a =
match input_char stdin with
| '\n'-> aux (input_char stdin)
| 'q' -> Printf.eprintf "bye\n"; flush stderr; exit 0
| _ -> skip_comment ()
| c -> (if verbose_mode then print_char c) ;skip_comment ()
in
let res = aux x in
if verbose_mode then (
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment