[darcs-users] darcs patch: darcs prefs: remove type witness stuff, breaks compiles

[gwern0 at gmail.com]

Tue Apr 29 23:19:21 EDT 2008  gwern0 at gmail.com
  * darcs prefs: remove type witness stuff, breaks compiles
  It's worth noting that the test as it stood ran on every patch record, and allows patches to be recorded only if one can compile with type witnesses.
  It's also worth noting that 6.8.x can't compile everything with type witnesses, and lispy says 6.6.1 can't either. So, in general, turning on type witnesses in this particular place strikes me as a very very bad thing to do.
  If Dr. Roundy wants to automatically test compilation with type witnesses, the thing to do is to have the configure script turn it on if an example compiles, say. Forcing it on just leads to breakage and considerable annoyance for people who have to rm _darcs/prefs/prefs just to record some patches.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 15152 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080429/23ddad0c/attachment-0001.bin