1 patch for repository http://darcs.net/screened:

Fri Apr 29 15:11:32 CEST 2011  Florent Becker <florent.becker@ens-lyon.org>
  * Make check a read-only operation

This fixes the easy part of issue2001: check no longer rewrites a good
pristine after it has operated.

Attachments

• make-check-a-read_only-operation.dpatch
• unnamed

This adds a dependency on temporary, which I use for creating a
temporary directory. For consistency, we should either use it everywhere
we create a temporary directory, or nowhere. I'd rather use temporary
(at least until the standard lib gets that functionnality), for
externalisation's sake, but I can be convinced otherwise.

see: http://hackage.haskell.org/package/temporary-1.1.1

please do not screen/apply: it does not use the standard darcs mechanism
for creating temporary directories. I'll change the patch to use that.
Whether or not we should use temporary is a separate issue.