include/debug.ml

   1 IFNDEF DEBUG__ML__
   2 THEN
   3 DEFINE DEBUG__ML__
   4
   5 IFDEF DEBUG
   6 THEN
   7   let msg x = Logger.msg `DEBUG x
   8   DEFINE DEBUG(e) = (e)
   9 ELSE
  10   let msg x = ()
  11   DEFINE DEBUG(e) = ()
  12 END
  13
  14
  15 END (* IFNDEF DEBUG__ML__ *)