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 AAA29180; Sun, 2 Sep 2001 00:18:59 +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 AAA28815 for ; Sun, 2 Sep 2001 00:18:59 +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 f81MIvv12053 for ; Sun, 2 Sep 2001 00:18:58 +0200 (MET DST) Received: (qmail 4871 invoked by uid 1197); 1 Sep 2001 22:18:56 -0000 From: "Brian Brunswick" Date: Sat, 1 Sep 2001 23:18:56 +0100 To: caml-list@inria.fr Subject: [Caml-list] ocamldebug any want to print abstract values in functor? Message-ID: <20010901231856.A4864@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 - was I missing something there? 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 would be dangerous (not type safe) PS - I also failed to use camldebug with lablgtk - should I disable checkpointing? I don't get any uncaught exception backtrace from code inside C callbacks either -- been working around things to provoke bugs outside the gui -- 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