From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E9AA4BBAF for ; Sat, 27 Mar 2010 12:45:40 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqYDABONrUuT5wYJf2dsb2JhbACDGIw0i3oBAQsLERMirV+QRoErgmxqBA X-IronPort-AV: E=Sophos;i="4.51,319,1267398000"; d="scan'208";a="47580694" Received: from nfw.cs.cas.cz (HELO uivt5.cs.cas.cz) ([147.231.6.9]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Mar 2010 12:45:40 +0100 Subject: ocamldebug: User-defined printers for abstract data types? From: Stefan Ratschan To: caml-list@yquem.inria.fr Content-Type: text/plain; charset="UTF-8" Date: Sat, 27 Mar 2010 12:45:38 +0100 Message-ID: <1269690338.3027.41.camel@ratschan-laptop> Mime-Version: 1.0 X-Mailer: Evolution 2.28.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocamldebug:01 ocamldebug:01 abstract:01 abstract:01 data:02 data:02 modules:02 external:03 types:05 types:05 manual:06 definition:07 load:08 loaded:09 loaded:09 The ocamldebug manual entry for load_printer says: "The loaded file does not have direct access to the modules of the program being debugged." So I have to put the whole printer definition into the loaded file. But then, how can one write a printer for abstract data types? External files do not have access to those. Stefan Ratschan