Not self-screening this one; can someone check that it makes sense. The module
seems to compile after just axing the pseudo-witnesses, so I guess it's ok.
1 patch for repository http://darcs.net/screened:
Fri Dec 10 17:02:04 CET 2010 Florent Becker <florent.becker@ens-lyon.org>
* remove W nonsense in Darcs.Test.Patch.Unit
GAH! Somehow we lost -DGADT_WITNESSES in the test harness build.
If you put this back, then things don't compile at all with this patch.
I'll figure out how we lost the flag and put it back.