* polymorphic printer functions ?
@ 1998-05-23 16:32 Jean-Marie Favre
0 siblings, 0 replies; only message in thread
From: Jean-Marie Favre @ 1998-05-23 16:32 UTC (permalink / raw)
To: caml-list
Hello everybody ...
I'd like to know how to implement polymorphic printer functions.
(I use ocaml 1.07)
I'm writing a library implementing a large subset of the Z library operators
(operations on sets, relations, functions, and so on) and i would like
to be able to install printer functions for printing 'a set, ('a,'b) relations,
etc., (using #install_printer). set, relations being abstract types
constructors.
Writing a polymorphic printer for such structures means to be able to call a
function printing each element.
Is there any function like
print_value : 'a -> unit
available when using the top level ?
Jean-marie
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1998-05-23 22:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-05-23 16:32 polymorphic printer functions ? Jean-Marie Favre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).