From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9304220058.AA11877@Tamuz.Stanford.EDU>
Subject: Re: Defining own types printers.
To: michel@lri.fr
Date: Wed, 21 Apr 1993 17:58:47 -0700 (PDT)
In-Reply-To: <9304211713.AA02411@sun7d.lri.fr> from "michel@lri.fr" at Apr 21, 93 07:13:57 pm
Bonjour,
La liste caml-light ne regroupant que des francophones, je vous
reponds en francais. Il y a un trait non documente de Caml Light 0.5
qui fait exactement ce que vous voulez:
new_printer "t_bdd_tree" print_bdd;;
C'est non documente parce que non sur (personne ne verifie que
print_bdd prend des arguments de type t_bdd_tree), mais quand meme
dans le systeme parce que tellement utile...
Il y a aussi default_printer "t_bdd_tree" qui annule l'effet de
new_printer.
- Xavier Leroy