On Tue, May 13, 2008 at 3:44 PM, Spencer Janssen <[EMAIL PROTECTED]>
wrote:

> On Tue, May 13, 2008 at 03:30:14PM -0700, David Roundy wrote:
> > On Tue, May 13, 2008 at 03:46:53PM -0500, Spencer Janssen wrote:
> > > Here are some minor cleanup patches.  I recorded these patches with
> --no-test
> > > because the test hook insisted on using the GADTs that won't work on
> GHC 6.8.
> > > How can I avoid this?
> >
> > You can edit _darcs/prefs/prefs to remove the bit about compiling with
> type
> > witnesses.
>
> Any chance this could be the default?  This would make it easier for new
> contributors that aren't on GHC 6.6.  Is there a way to tell configure to
> only
> enable type witnesses if a suitable GHC version is available?


There has been some (limited) discussion on this already:
http://lists.osuosl.org/pipermail/darcs-users/2008-April/011929.html

I though there was more to the discussion but I can't seem to locate it now.

Jason
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to