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 LAA12089; Mon, 3 Sep 2001 11:23:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA11188 for caml-list@pauillac.inria.fr; Mon, 3 Sep 2001 11:23:24 +0200 (MET DST) 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 PAA12167 for ; Fri, 31 Aug 2001 15:23:01 +0200 (MET DST) Received: from minas.ithil.org (mailgate.ithil.com [62.49.249.86]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f7VDMov18329 for ; Fri, 31 Aug 2001 15:23:00 +0200 (MET DST) Received: (qmail 12493 invoked by uid 1197); 31 Aug 2001 13:22:47 -0000 From: brian@ithil.org Date: Fri, 31 Aug 2001 14:22:47 +0100 To: caml-list@inria.fr Subject: [Caml-list] ocamldebug, any way to print abstract values? Message-ID: <20010831142247.A12232@skarpsey.demon.co.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Trying to debug something the other day I ran across the problem that the bug was occuring inside code in a functor, and I was unable to print values from the debugger for types that were abstract from the point of view of that code, even when there was a user printer loaded for that type in terms of outside code. I didn't manage to get anything to work by including the print function in the functor argument signature either. Is there any way around this, or does the debugger need an additional command to print a value using a particular printer? It looks like it would be relatively easy to add something like that, but it might be dangerous. PS - I also failed to use camldebug with lablgtk - should I disable checkpointing? I didn't get any uncaught exception backtrace from code inside C callbacks either. -- Brian_Brunswick____brian@ithil.org____Wit____Disclaimer____!Shortsig_rules! ------------------- 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