From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <199702260836.JAA27594@pauillac.inria.fr>
Subject: Re: your mail
In-Reply-To: <199702251727.RAA17631@chanson-plus.lami.univ-evry.fr> from Erwan David at "Feb 25, 97 06:27:50 pm"
To: edavid@lami.univ-evry.fr (Erwan David)
Date: Wed, 26 Feb 1997 09:36:05 +0100 (MET)
> J'ai voulu recompiler un programme fait en 0.7 (je crois) avec le
> compilateur 0.73 : apparemment certaines fonctions ont changé de nom: j'ai
> l'erreur
> camlc -g -W -c main.ml
> File "main.ml", line 9, characters 7-43:
> > format__set_formatter_output_channel stdout;
> > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> The value identifier format__set_formatter_output_channel is unbound.
Yes, some small discrepancies in the naming conventions have been
corrected in the format library (see format.mli). In this case output
has been change into out, since output channel are named out channels
in Caml.
(*** Redirecting formatter output *)
value set_formatter_out_channel : out_channel -> unit;;
(* Redirect the pretty-printer output to the given channel. *)
In addition, multiple formatting in parallel on several output
channels are now available (once more, see format.mli):
(*** Multiple formatted output *)
type formatter;;
(* Abstract data type corresponding to a pretty-printer and
all its machinery.
Defining new pretty-printers permits the output of
material in parallel on several channels.
Parameters of the pretty-printer are local to the pretty-printer:
margin, maximum indentation limit, maximum number of boxes
simultaneously opened, ellipsis, and so on, are specific to
each pretty-printer and may be fixed independantly. *)
Enjoy it!
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET