Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] exception tracing with Threads
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ohad Rodeh <orodeh@c...>
Subject: [Caml-list] exception tracing with Threads
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