On Thu, Sep 04, 2008 at 09:45:24AM +0100, Simon Peyton-Jones wrote: > > So shall we do that? OK, let's leave extralibs in the nightly builds for now, then. Thanks Ian