From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA27742 for caml-redistribution; Wed, 26 Feb 1997 09:38:27 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA27599 for <caml-list@pauillac.inria.fr>; Wed, 26 Feb 1997 09:36:08 +0100 (MET)
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.6/8.7.3) with ESMTP id JAA11252 for <caml-list@pauillac.inria.fr>; Wed, 26 Feb 1997 09:36:08 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id JAA00670 for <caml-list@margaux.inria.fr>; Wed, 26 Feb 1997 09:36:07 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.6/8.7.3) with ESMTP id JAA11248; Wed, 26 Feb 1997 09:36:07 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA27594; Wed, 26 Feb 1997 09:36:06 +0100 (MET)
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)
Cc: caml-list@margaux.inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Sender: weis

> 	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