From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <stefan.ratschan@cs.cas.cz>
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 1BD5EBC57
	for <caml-list@yquem.inria.fr>; Sun, 28 Mar 2010 12:24:21 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmoBAKfKrkuT5wYJmWdsb2JhbACDGIwpi3wBAQEBAQgLCgcRIqwCj2CBK4JsagQ
X-IronPort-AV: E=Sophos;i="4.51,321,1267398000"; 
   d="scan'208";a="47606320"
Received: from nfw.cs.cas.cz (HELO uivt5.cs.cas.cz) ([147.231.6.9])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Mar 2010 12:24:20 +0200
Subject: User-defined printers and external C code
From: Stefan Ratschan <stefan.ratschan@cs.cas.cz>
To: caml-list@yquem.inria.fr
In-Reply-To: <20100328100004.6833DBC57@yquem.inria.fr>
References: <20100328100004.6833DBC57@yquem.inria.fr>
Content-Type: text/plain; charset="UTF-8"
Date: Sun, 28 Mar 2010 12:24:18 +0200
Message-ID: <1269771858.2863.10.camel@ratschan-laptop>
Mime-Version: 1.0
X-Mailer: Evolution 2.28.1 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; afaik:01 printf:01 ocamldebug:01 bytecode:01 abstract:01 int:01 int:01 data:02 ocd:02 string:02 external:03 external:03 interpret:03 library:03 let:03 

> The printing of Big_int is possible and AFAIK Big_int is an abstract  
> data type.

> let print_big_int (value_big_int:Big_int.big_int) =
>    Format.printf "%s" (Big_int.string_of_big_int value_big_int);;

I see, thanks. If I interpret this correctly, then the same code is
loaded twice. Once in the program to be debugged, once for the printer.

Now I have the following problem: The ADT I want to print uses an
external C library. Ocamldebug refuses to load it, saying: 
(ocd) load_printer ../smath/libsmath.a
Error during code loading: ../smath/libsmath.a is not a bytecode object
file

Any ideas?

Stefan Ratschan