On Fri, Dec 18, 2009 at 04:33:56PM -0500, Gwern Branwen wrote: > So with a potentially long wait until the next major release (that is, > not the quick fixes for X11/GHC), does anyone mind if I were to make > these header changes? As I've said already, please don't change the module headers. If sim is broken, fix sim. Cheers, Spencer Janssen