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

[David Roundy]

On Tue, Apr 29, 2008 at 11:34:35PM -0400, gwern0 at gmail.com wrote:
> 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.

No, the default should be to run all tests.  If you don't have ghc 6.6 on
your machine, you can trivially configure your repository to run a subset
of the full test suite.  This is a per-repository configurable option,
after all.
-- 
David Roundy
Department of Physics
Oregon State University