Warp wrote:
> If this message comes from RunTime ( when Dynamic Linking ) then
> that might be an exception throwed by the dynlink. Then you can
> catch it and print it to stderr ( using Printexc.to_string )
Well, I may be wrong, but this message is just printed to stdout by
toplevel/topdirs.ml ... it is not the result of an exception. And, I'm
no expert, but I believe "exceptions" already go to stderr.
The philosophy of printing all errors and diagnostics to a separate
channel from program data is, well, maybe the way to go? Just my .02
Euros.
cheers,
doug
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr