lib/cml/util/local-assert.fun

   1 (* local-assert.sig
   2  * 2004 Matthew Fluet (mfluet@acm.org)
   3  *  Ported to MLton threads.
   4  *)
   5
   6 functor LocalAssert(val assert: bool): ASSERT =
   7    struct
   8       fun make f =
   9          if assert then f else fn _ => ()
  10       val assert = make Assert.assert
  11       val assert' = make Assert.assert'
  12       val assertAtomic = make Assert.assertAtomic
  13       val assertNonAtomic = make Assert.assertNonAtomic
  14       val assertAtomic' = make Assert.assertAtomic'
  15       val assertNonAtomic' = make Assert.assertNonAtomic'
  16    end