> You might have a look into the tracing facilities I developed for
> Poesia. These are tracing macros for camlp4.
looks really fine ! but also really complicated...

I personally use the less powerful attached code :

advantages are :
	* you don't need to recompile the code each time you change debug
	options
	* it can _easily_ be adapted to the newbie needs 
	* it doesn't need camlp4 (is this an actual advantage !?)

disadvantages are :
	* you can't automagically display the location in the source code 
	* you need to remove debug statements by hand when compiling efficient
	binaries
	* Basile will certainly find more :-)

note : for the first disadvantage, why not to modify the assert function
in order it also prints the execution stack. 
I don't know if this is possible in both byte and native code, but I
guess it should be when debugging informations are saved (ocamlc -g).
from my mind, this would be really useful.

hope this help,
damien

--
<http://www.ens-lyon.fr/~dpous>