Original bug ID: 1891
Reporter: administrator
Status: closed (set by @xavierleroy on 2013-08-31T10:46:14Z)
Resolution: suspended
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Winfried Dreckmann
Version: 3.07-1
OS: Linux PowerPC
Submission from: t3o902p168.telia.com (81.225.156.168)

(1) The #install_printer directive does not recognize modules created in the
toplevel, for instance:

module Test = struct

  let my_printer f x = Format.fprintf f "%x" x
end;;

module Test : sig val my_printer : Format.formatter -> int -> unit end

Test.my_printer;;

• : Format.formatter -> int -> unit =

#install_printer Test.my_printer;;

Reference to undefined global `Test'

I remember that this worked in earlier versions of OCaml.

(2) The #install_printer directive also causes trouble if applied to C
externals. The following happens with a function "Printtest.my_printer" written
in C and
used in a customized toplevel:

#install_printer Printtest.my_printer;;

"abcde";;

Speicherzugriffsfehler

The C function in this example simply calls "Format.pp_print_string". I am not
sure if C externals are allowed to be printers. I send details if necessary.

Regards,
Winfried Dreckmann