From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA24782; Mon, 18 Feb 2002 17:21:24 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 RAA24432 for ; Mon, 18 Feb 2002 17:21:24 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g1IGLND27460 for ; Mon, 18 Feb 2002 17:21:23 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id g1IGLMw5000956; Mon, 18 Feb 2002 17:21:22 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 16cqXa-0004Af-00; Mon, 18 Feb 2002 17:21:22 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15473.10754.400182.937532@gargle.gargle.HOWL> Date: Mon, 18 Feb 2002 17:21:22 +0100 (CET) To: "Warp" Cc: Subject: Re: [Caml-list] at_exit functions not called during exit In-Reply-To: <003c01c1b87f$37945570$3c00a8c0@warp> References: <15472.64652.573933.952197@gargle.gargle.HOWL> <003c01c1b87f$37945570$3c00a8c0@warp> X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, Warp writes: From: "Warp" Date: Mon, 18 Feb 2002 14:21:47 +0100 Subject: Re: [Caml-list] at_exit functions not called during exit [my statment deleted] If you call the exit() C function in your C-library, it'll exit regardless you're using OCaml or any other feature. No, it calls functions registered via atexit or on_exit, which can do arbitrary things (including longjumping and continuing). BTW, Pervasives.at_exit seems to be only called when an unhandled exception reach the top-level. Functions registered via at_exit are at least called during normal termination. And the manual says They will not be called if the program terminates because of an uncaught exception. which is not true in ocaml-3.04. Bye, Hendrik ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners