Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* local-debug.fun |
2 | * 2004 Matthew Fluet (mfluet@acm.org) | |
3 | * Ported to MLton threads. | |
4 | *) | |
5 | ||
6 | functor LocalDebug(val debug: bool): DEBUG = | |
7 | struct | |
8 | fun make f = | |
9 | if debug then f else fn _ => () | |
10 | val sayDebug' = make Debug.sayDebug' | |
11 | val sayDebug = make Debug.sayDebug | |
12 | end |