Re: GADT printer patch

[David Scott <scott.dj@xxxxxxxxx>]

Could we wean ourselves off correct float formatting and use something less ... correct? :)

On Wed, May 22, 2013 at 2:56 PM, Stephen Dolan <stephen.dolan@xxxxxxxxxxxx> wrote:

It still requires sprintf. In particular, it uses caml_format_float to
do %f and friends, which uses sprintf internally. Correct float
formatting is a surprisingly large amount of code.

Stephen

On Wed, May 22, 2013 at 2:19 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> This is really neat:
> http://caml.inria.fr/mantis/view.php?id=6017
>
> If I understand it right, it eliminates our need for the printf dietlibc bits, which means we could simplify mirage-platform quite a bit!
>
> Should cook up an OPAM compiler patch to experiment with it...
>
> -anil