1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
(* debug.sml
* 2004 Matthew Fluet (mfluet@acm.org)
* Ported to MLton threads.
*)
(* debug.sml
*
* COPYRIGHT (c) 1995 AT&T Bell Laboratories.
* COPYRIGHT (c) 1989-1991 John H. Reppy
*
* Debugging support for the CML core.
*)
structure Debug : DEBUG =
struct
structure C = Critical
val debugFlg = true
fun sayDebug (msgs: (unit -> string) list,
msg: unit -> string) =
if debugFlg
then let
val msgs = List.map (fn f => f ()) msgs
val msg = concat [String.concatWith " " msgs, " :: ", msg ()]
in
C.atomicBegin ();
TextIO.print (concat [msg, "\n"]);
C.atomicEnd ()
end
else ()
fun sayDebug' (msg: string) = sayDebug ([], fn () => msg)
end
|
