From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Fri, 23 Apr 93 14:05:30 +0200
Received: from [192.93.2.39] by margaux.inria.fr, Thu, 22 Apr 93 02:58:58 +0200
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Thu, 22 Apr 1993 02:59:02 +0200
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA11877; Wed, 21 Apr 93 17:58:48 -0700
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)
Cc: caml-light@margaux
In-Reply-To: <9304211713.AA02411@sun7d.lri.fr> from "michel@lri.fr" at Apr 21, 93 07:13:57 pm
Content-Type: text/plain
Sender: weis@margaux

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