On Sun, Mar 28, 2010 at 2:24 PM, Stefan Ratschan <stefan.ratsc...@cs.cas.cz> wrote: >> 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
How is this C library linked into your Ocaml program? Probably the custom runtime? > Any ideas? Dynamic loading should help you (see ocamlmklib chapter in the manual). Then the C code will be placed into .so file and loaded automatically then needed. - Dmitry Bely _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
