include/debug.ml

   1 IFNDEF DEBUG__ML__
   2 THEN
   3 DEFINE DEBUG__ML__
   4
   5 IFDEF DEBUG
   6 THEN
   7   DEFINE DBG(e) = (e)
   8 ELSE
   9   DEFINE DBG(e) = ()
  10 END
  11
  12
  13 END (* IFNDEF DEBUG__ML__ *)