#define ASSERTM(e) do { let { _mbool = (e) } }
-- Here we deliberately don't use when as Control.Monad might not be imported
#define ASSERTM2(e,msg) do { let { _mbool = (e) }; if False then panic "ASSERTM2" else return () }
#define WARN(e,msg) if False && (e) then pprPanic "WARN" (msg) else
#endif
#define ASSERTM(e) do { let { _mbool = (e) } }
-- Here we deliberately don't use when as Control.Monad might not be imported
#define ASSERTM2(e,msg) do { let { _mbool = (e) }; if False then panic "ASSERTM2" else return () }
#define WARN(e,msg) if False && (e) then pprPanic "WARN" (msg) else
#endif