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

GADT printer patch

To: "cl-mirage@xxxxxxxxxxxxxxx List" <cl-mirage@xxxxxxxxxxxxxxx>
From: Anil Madhavapeddy <anil@xxxxxxxxxx>
Date: Wed, 22 May 2013 14:19:54 +0100
List-id: MirageOS development <cl-mirage.lists.cam.ac.uk>

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

Follow-Ups:
- Re: GADT printer patch
  - From: Stephen Dolan

Prev by Date: Re: https://polarssl.org/
Next by Date: Re: GADT printer patch
Previous by thread: GoToMeeting Invitation - Mirage Weekly Call Backup
Next by thread: Re: GADT printer patch
Index(es):
- Date
- Thread

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