From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA31302 for caml-redistribution; Mon, 25 Jan 1999 20:20:53 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA02642 for ; Mon, 25 Jan 1999 19:43:51 +0100 (MET) Received: from kronstadt.transbay.net (ip55246.transbay.net [209.133.55.246]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA01172 for ; Mon, 25 Jan 1999 19:43:47 +0100 (MET) Received: (from itz@localhost) by kronstadt.transbay.net (8.8.6/8.8.6) id KAA23637; Mon, 25 Jan 1999 10:43:01 -0800 Date: Mon, 25 Jan 1999 10:43:01 -0800 Message-Id: <199901251843.KAA23637@kronstadt.transbay.net> From: Ian T Zimmerman To: caml-list@inria.fr Subject: Catching Break? Sender: weis Why doesn't this work: let main() = Sys.catch_break true; try Unix.kill (Unix.getpid()) Sys.sigint with Sys.Break -> prerr_endline "CAUGHT!"; exit 0 let _ = main() This program just prints "Fatal error: Uncaught exception Sys.Break" as if the try block weren't there. Am I overlooking something really obvious? Ocaml 2.01, Unix (Linux 2.0), libc5, linuxthreads. -- Ian T Zimmerman I came to the conclusion that what was wrong about the guillotine was that the condemned man had no chance at all, absolutely none. Albert Camus, _The Outsider_