A little further development work that went into prims-v3 before the patchlib
break-off, plus fixes on top to actually make darcs build and pass tests again.

I'll have a look at either transferring patchlib changes back to darcs or maybe
even at adapting darcs to use patchlib instead, although the latter may be too
disruptive for now, especially given the in-flight status of rebase &co.

Petr

8 patches for repository http://darcs.net:

Thu Jul 21 14:12:29 CEST 2011  Petr Rockai <me@mornfall.net>
  * Clean up the test lists a little.

Sat Jul 23 13:45:16 CEST 2011  Petr Rockai <me@mornfall.net>
  * Further break up the Patch tests into "generic" categories.

Sat Jul 23 17:06:41 CEST 2011  Petr Rockai <me@mornfall.net>
  * Generalise the inverseComposition test.

Sun Jul 24 22:17:14 CEST 2011  Petr Rockai <me@mornfall.net>
  * Move from a Maybe monad in testing to Either String.

Sun Jul 24 22:18:09 CEST 2011  Petr Rockai <me@mornfall.net>
  * Elaborate the definition of ObjectMap (i.e. make it more realistic).

Sun Aug 14 12:21:35 CEST 2011  Petr Rockai <me@mornfall.net>
  * Add a missing associated type to ApplyMonad AnnotatedM instance.

Sun Aug 14 14:15:38 CEST 2011  Petr Rockai <me@mornfall.net>
  * Fix up contexts, allowing all of darcs to build.

Sun Aug 14 14:41:41 CEST 2011  Petr Rockai <me@mornfall.net>
  * Implement missing methods in ApplyMonad instance for HSM.TreeMonad.

Attachments

• clean-up-the-test-lists-a-little_.dpatch
• unnamed
• unnamed