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

GADT printer patch

This is really neat:

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...




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