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 JAA29095; Fri, 29 Jun 2001 09:35:34 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA29163 for ; Fri, 29 Jun 2001 09:35:33 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5T7ZSj29534; Fri, 29 Jun 2001 09:35:28 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA29161; Fri, 29 Jun 2001 09:35:27 +0200 (MET DST) Date: Fri, 29 Jun 2001 09:35:27 +0200 From: Xavier Leroy To: "Krishnaswami, Neel" Cc: "'caml-list@inria.fr'" Subject: Re: [Caml-list] Backtraces in the interactive interpreter? Message-ID: <20010629093527.A29066@pauillac.inria.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: ; from neelk@cswcasa.com on Thu, Jun 28, 2001 at 03:08:56PM -0400 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I do a lot of Objective Caml development with the toplevel under > Emacs, and I'd like to know how I can enable backtraces in it. This is currently not supported, and would actually be quite hard to implement. The backtrace mechanism is highly dependent on standalone executables, with the debugging info being "linked in" the executable. > I tried byte-compiling my libraries with '-g', but this makes > the ocaml toplevel dump core when I try to #load them. I'm very, very surprised by this. It works fine here. If you can reproduce the problem, please report it (along with a recipe for reproducing it) to caml-bugs@inria.fr. scott@chronis.pobox.com suggested: > set your environmental variable OCAMLRUNPARAM to "b=1" before you > start emacs. This won't do. At best, it would report a stack backtrace when the ocaml toplevel itself dies on an uncaught exception (which should never happen), but not backtraces for user-defined code. - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr