Browse thread
[Caml-list] kprintf with user formatters
-
Damien
-
Pierre Weis
-
Markus Mottl
- David MENTRE
- Damien
- Pierre Weis
- james woodyatt
-
Markus Mottl
-
Pierre Weis
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
| Subject: | Re: [Caml-list] kprintf with user formatters |
Pierre Weis writes: > > This does not solve the problem of evaluating the argument(s) of the logging > application. Consider the example I gave: > > > log 2 (fun () -> > > eprintf "Argument 1 is hard to compute %d\n" (ackermann x x)) > > Your solution would lead to > > if_debug2 eprintf "Argument 1 is hard to compute %d\n" (ackermann x x) > > which wastes is too much computing power when the debug turn out to be > off. This is indeed right, in the general case. However the way I use it, all the computation is always within a function being the first argument of a printf %a, and thus not evaluated (as in the print_tree example I gave). -- Jean-Christophe ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners