Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/log.ml | ||
---|---|---|
9 | 9 |
(* *) |
10 | 10 |
(********************************************************************) |
11 | 11 |
|
12 |
let report |
|
13 |
?plugin:(modulename="") |
|
14 |
?(verbose_level=Options.verbose_level) |
|
15 |
~level:level p = |
|
16 |
if !verbose_level >= level then |
|
17 |
if modulename="" then |
|
18 |
Format.eprintf "%t" p |
|
19 |
else |
|
20 |
Format.eprintf "[%s] @[%t@]" modulename p |
|
12 |
let report ?plugin:(modulename = "") ?(verbose_level = Options.verbose_level) |
|
13 |
~level p = |
|
14 |
if !verbose_level >= level then |
|
15 |
if modulename = "" then Format.eprintf "%t" p |
|
16 |
else Format.eprintf "[%s] @[%t@]" modulename p |
|
21 | 17 |
|
22 | 18 |
(* Local Variables: *) |
23 | 19 |
(* compile-command:"make -C .." *) |
24 | 20 |
(* End: *) |
25 |
|
Also available in: Unified diff
reformatting