$0.02 suggestion for the Printf module

From: William Chesters (williamc@dai.ed.ac.uk)
Date: Tue Oct 19 1999 - 21:15:24 MET DST


Date: Tue, 19 Oct 1999 20:15:24 +0100
Message-Id: <199910191915.UAA14373@toy.william.bogus>
From: William Chesters <williamc@dai.ed.ac.uk>
To: Alain Frisch <frisch@clipper.ens.fr>
Subject: $0.02 suggestion for the Printf module
In-Reply-To: <Pine.GSO.4.04.9910181814320.22844-100000@clipper>

Alain Frisch writes:
> As I want to do it often, it would be useful to have a function :
>
> gen_printf: (string -> ()) -> ('a, Buffer.t, unit) format -> 'a
> [or for performance (string -> ()) -> (char -> ()) -> ('a, ... ]
>
> taking as its first argument a 'printing function'

You can do this with Format (and of course you get pretty-printing as
well)---see Format.formatter_of_out_channel, etc. I don't know what
the performance difference, if any, between Printf and Format is.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET