[darcs-devel] [issue1288] Make all of darcs compile with witnesses enabled.

[Petr Ročkai]

New submission from Petr Ročkai <me at mornfall.net>:

I am filing this so that we have a list of things to be addressed by 2.3, in 
the bugtracker. Rationale: we should be able to test darcs in a single 
compilation pass. I have sent a patch to enable witness compilation as part of 
normal build process. However, it would speed up the build to only do a single 
pass instead of two. It would also likely improve overall safety of the code 
and possibly uncover new bugs.

----------
assignedto: dagit
messages: 6915
nosy: dagit, dmitry.kurochkin, kowey, mornfall, simon, thorkilnaur
priority: feature
status: in-progress
title: Make all of darcs compile with witnesses enabled.
topic: Target-2.3

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1288>
__________________________________