From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA24870 for caml-red; Fri, 7 Jul 2000 16:32:50 +0200 (MET DST) 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 FAA22784 for ; Thu, 6 Jul 2000 05:05:38 +0200 (MET DST) Received: from csc-sun.math.utah.edu (csc-sun.math.utah.edu [128.110.198.2]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e6635b506743 for ; Thu, 6 Jul 2000 05:05:37 +0200 (MET DST) Received: from suntan.math.utah.edu (suntan.math.utah.edu [155.99.144.26]) by csc-sun.math.utah.edu (8.9.3/8.9.3) with ESMTP id VAA21002 for ; Wed, 5 Jul 2000 21:05:35 -0600 (MDT) Received: (from hohn@localhost) by suntan.math.utah.edu (8.9.3/8.9.3) id VAA12331; Wed, 5 Jul 2000 21:05:35 -0600 (MDT) Date: Wed, 5 Jul 2000 21:05:35 -0600 (MDT) Message-Id: <200007060305.VAA12331@suntan.math.utah.edu> X-Authentication-Warning: suntan.math.utah.edu: hohn set sender to hohn@math.utah.edu using -f From: Michael Hohn To: caml-list@inria.fr In-reply-to: <200007032143.e63Lhrd20923@wally.eecs.harvard.edu> (message from Norman Ramsey on Mon, 03 Jul 2000 17:43:53 -0400) Subject: Re: how to set breakpoint at exception throw? References: <200007032143.e63Lhrd20923@wally.eecs.harvard.edu> Sender: weis@pauillac.inria.fr Norman Ramsey wrote: >> ... >> >> Let me add my voice to the crowd: if the default behavior of a failing >> caml program were to produce a trace of uncaught exceptions, my life >> would be easier. >> ... Yes! Support for this would help greatly, especially in the toplevel where the debugger is not available. Mike