From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA31027 for caml-red; Thu, 23 Nov 2000 13:42:48 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA30735; Thu, 23 Nov 2000 13:42:04 +0100 (MET)
From: Pierre Weis <weis@pauillac.inria.fr>
Message-Id: <200011231242.NAA30735@pauillac.inria.fr>
Subject: Re: Format.sprintf and "%a"
In-Reply-To: <C9A98ED35114D31197D000805FEA668E02650F9F@mucexch.muc.sdm.de> from "jim.rauser@sdm.de" at "Nov 23, 100 12:54:18 pm"
To: jim.rauser@sdm.de
Date: Thu, 23 Nov 2000 13:42:04 +0100 (MET)
Cc: caml-list@pauillac.inria.fr
X-Mailer: ELM [version 2.4ME+ PL28 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

> Hello,
> 
> I'm teaching myself Ocaml and have run up against a problem I can't
> solve in connection with the format module.  For many of the types
> in my code, I have defined pretty-printing functions with type
> (Format.formatter -> <type> -> unit), e.g.,
> 
>   type foo = Foo | Bar
>   let fmt_foo f x =
>     match x with
>       Foo -> Format.fprintf f "Foo"
>     | Bar -> Format.fprintf f "Bar"
>   in
>   Format.printf "Test: %a@." fmt_foo Foo
> 
> Works great, but when I try it with sprintf, I get the following:
> 
>   let s = Format.sprintf "Test: %a@." fmt_foo Foo
>   This expression has type
>     ((Format.formatter -> foo -> unit) -> foo -> unit,
>      Format.formatter, unit)
>     format
>   but is here used with type
>     ((Format.formatter -> foo -> unit) -> foo -> unit,
>      unit, string)
>     format
> 
> [Note: I retyped these examples by hand, I hope they're accurate.]
> 
> I can see the correlation of the signatures in the error message to
> those of fprintf and sprintf in Format.mli, but the type magic that
> seems to be occuring in the implementation of the Format modules
> is beyond me.  Can someone explain what is going on here?

Nothing more than the reported type error: your functions  are
designed to return unit (they work by side effect) not string (which
would mean they are functional), and this is obviously uncompatible.

>  Is there a way to use my formatting functions with sprintf?

Yes. Use the special Format.str_formatter predefined formatter. It
works as usual side effecting formatters (hence it is compatible wih
your fmt_* functions), except that it records the output into a string
buffer. Hence, you would have to flush str_formatter explicitely, to
get the corresponding string result. For instance:

let s =
 Format.fprintf str_formatter "Test: %a@." fmt_foo Foo;
 Format.flush_str_formatter ();;
val s : string = "Test: Foo\n"

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/