[darcs-users] darcs patch: Remove unused UnsafeCatch module (and 1 more)

[Gwern Branwen]

On 2008.05.13 16:39:46 -0700, Jason Dagit <dagit at codersbase.com> scribbled 3.0K characters:
>    On Tue, May 13, 2008 at 3:44 PM, Spencer Janssen <sjanssen at cse.unl.edu> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080513/389e6446/attachment.pgp