[Caml-list] exception tracing with Threads

[Ohad Rodeh <orodeh@cs.huji.ac.il>]

List,
  I've just tried to use the exception tracing
mechanism for threads. Unfortunately, when using
threads this option is not enabled. 

For example: 

let _ = 
    let i=1 in
    let b=2 in 
    let c=3 in
    failwith "Sanity"

fails with the trace:
  Fatal error: uncaught exception Failure("Sanity")
  Raised at module Pervasives, character 1012
  Called from module Xx, character 68

While the equivalent program with threads:

let _ = 
  let _ = Thread.create (fun () -> 
    let i=1 in
    let b=2 in 
    let c=3 in
    failwith "Sanity"
  ) () in

  Thread.delay 4.0;
  ()

fails without a trace. 

Any ideas? 

   Thanks, 
	Ohad.

----------------------------------------------------------
orodeh@cs.huji.ac.il
www.cs.huji.ac.il/~orodeh



-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr