On 2008.05.13 16:39:46 -0700, Jason Dagit <[EMAIL PROTECTED]> scribbled 3.0K characters: > 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
No, that's all the -users discussion I remember. Dr. Roundy wasn't going to change his mind; the only way out was to make the --with-type-witnesses smarter and disable/enable type witnesses based on capability - but nobody would give me a small test program which compiled with witnesses but not without, so... -- gwern SWAT Pine domination gchq.gov. FLiR ASIS CSE Macintosh Macintosh detection
pgpPSYrsgUmql.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
