[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GADT printer patch

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.


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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.