(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
-type flag = Postgres | Galax | Stat | Quiet | Warn | Log
+type flag = Postgres | Galax | Stat | Quiet | Warn | Log | Source
type handle = {
log : string -> unit; (* logging function *)
| Quiet -> "Q"
| Warn -> "W"
| Log -> "L"
+ | Source -> "V"
let flag_of_char = function
| 'P' -> [Postgres]
| 'Q' -> [Quiet]
| 'W' -> [Warn]
| 'L' -> [Log]
+ | 'V' -> [Source]
| _ -> []
let string_fold_left f a s =