Version française
Home     About     Download     Resources     Contact us    
Browse thread
polymorphic printer functions ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Marie Favre <Jean-Marie.Favre@i...>
Subject: polymorphic printer functions ?
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