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