> List, 
>   I'd like to point out, that my application (LARGE OCaml project) is
> embedded in C code, so one cannot use the OCaml debugger to replay and
> find the exception.  I'd be happy if a feature would be added to the
> language to point out which line in the code the exception came from (I
> understand this was added to SML ?).
> 
> 	Ohad.

Have you tried François Pessaux's spurious exceptions static analyser ?

Otherwise, the addition you mentioned is interesting, if only we could
implement it with no penalty on the speed of exception raising. Have
you an idea of such a compilation scheme ?

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/