Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCamldebug custom Big_int printer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Denis Bueno <dbueno@g...>
Subject: OCamldebug custom Big_int printer
My goal is to define a printer I can load in ocamldebug, to print
Big_int.big_int values. I have the following in the file
`ocamld_printers.ml'.

    open Format;;

    let print_big_int fmt i =
      pp_print_string fmt (Big_int.string_of_big_int i);;

After executing ocamldebug (through emacs), I run:

(ocd) load_printer "ocamld_printers.cmo"
Error during code loading: error while linking
cobasa/src/test/cobasa_ocamld_printers.cmo.
Reference to undefined global `Big_int'
(ocd)

Does anyone know how to fix this problem? ocamldebug doesn't seem to
have options for specifying which .cma files to load. And the program
being debugged does indeed link with nums.cma.

Thanks in advance.

-Denis