Source file debug.ml

1
2
3
4
5
6
7
8
9
let retype = ref false
let unknown = ref 0
let debug = false

let my_eprintf s =
  if debug then
    (output_string stderr s;
     flush stderr;)
  else ()