[darcs-devel] [patch631] generalise testing infrastructure & import Prim V3 skeleton

[Petr Ročkai]

Petr Ročkai <me at mornfall.net> added the comment:

Hi!

Some improvements over the last set, plus skeleton of V3 Prims and a simple
Arbitrary instance. Of course, all the tests fail for now.

Next TODO: generalise the Apply class to be able to express patch application
to different state representations (since V3 Prims will require a different
state representation, including a UUID -> Object map, while V1 Prims operate on
a filesystem tree). On top of that, it should be possible to build an Apply
implementation for V3 Prims.

Yours,
   Petr

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

Wed Apr 27 03:12:50 CEST 2011  Petr Rockai <me at mornfall.net>
  * Fix a couple of GHC 7 deprecation warnings.

Sun May 22 13:38:37 CEST 2011  Petr Rockai <me at mornfall.net>
  * Bootstrap the V3 Prim patches as a clone of V1.

Wed Jun  1 10:17:41 CEST 2011  Petr Rockai <me at mornfall.net>
  * Cut down the initial Prim V3 code to +/- compilable minimum.

Sun Jun  5 23:55:12 CEST 2011  Petr Rockai <me at mornfall.net>
  * Merge Set2, Set2Unwitnessed and Set3Unwitnessed in Test.Patch.Examples.
  
  Set2 have been only used to implement Set3, and not directly by any
  tests. Everything is internal to Set2Unwitnessed now.

Mon Jun 20 11:06:41 CEST 2011  Petr Rockai <me at mornfall.net>
  * Add a Show1 instance for (:>).

Mon Jun 20 11:06:58 CEST 2011  Petr Rockai <me at mornfall.net>
  * Make (V1) Prim an instance of PrimPatchBase/FromPrim.

Mon Jun 20 11:07:18 CEST 2011  Petr Rockai <me at mornfall.net>
  * Remove redundant imports in Darcs.Repository.Internal.

Mon Jun 20 11:18:10 CEST 2011  Petr Rockai <me at mornfall.net>
  * Reorganise the Patch tests further.

Mon Jun 20 14:30:27 CEST 2011  Petr Rockai <me at mornfall.net>
  * Generalise the V1.Prim Arbitrary instance based on Tree to any PrimPatch.

Mon Jun 20 14:33:54 CEST 2011  Petr Rockai <me at mornfall.net>
  * Generalise a bunch of merge/commute properties over the patch type & generator.

Mon Jun 20 15:36:51 CEST 2011  Petr Rockai <me at mornfall.net>
  * Split Test.Patch.Test into Properties.Check and Arbitrary.PatchV1.

Tue Jun 21 16:11:12 CEST 2011  Petr Rockai <me at mornfall.net>
  * Print detailed diagnostic in patchAndInverseCommute.

Tue Jun 21 16:12:34 CEST 2011  Petr Rockai <me at mornfall.net>
  * Slightly restructure and expand the Prim Arbitrary instances.

Tue Jun 21 16:13:11 CEST 2011  Petr Rockai <me at mornfall.net>
  * Further restructuring of QC properties of patches.

Tue Jun 21 16:22:50 CEST 2011  Petr Rockai <me at mornfall.net>
  * Replace tCommuteRecommute with recommute from Properties.Generic.

Tue Jun 21 16:23:03 CEST 2011  Petr Rockai <me at mornfall.net>
  * Replace tMergeSwapMerge with Properties.Generic mergeEitherWay.

Sun Jun 26 23:57:54 CEST 2011  Petr Rockai <me at mornfall.net>
  * Add a forgotten Properties.Check module to Test.Patch.

Mon Jun 27 00:52:50 CEST 2011  Petr Rockai <me at mornfall.net>
  * Wibble the V3 Prim skeleton a bit.

Mon Jun 27 00:53:32 CEST 2011  Petr Rockai <me at mornfall.net>
  * Lift RepoModel into a class and rename the implementation to V1Model.

Mon Jun 27 00:53:47 CEST 2011  Petr Rockai <me at mornfall.net>
  * Implement V3Model and rudimentary V3.Prim Arbitrary instances.

Mon Jun 27 01:28:21 CEST 2011  Petr Rockai <me at mornfall.net>
  * Replace FunctionalDependencies with TypeFamilies in new test code.

Mon Jun 27 01:29:15 CEST 2011  Petr Rockai <me at mornfall.net>
  * Remove unneeded LANGUAGE pragmas from Examples.Set2Unwitnessed.

----------
title: Merge Set2, Set2Unwitnessed and Set3Unwi... (and 12 more) -> generalise testing infrastructure & import Prim V3 skeleton

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch631>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: text/x-darcs-patch
Size: 284592 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110627/2011190d/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-a-couple-of-ghc-7-deprecation-warnings_.dpatch
Type: application/x-darcs-patch
Size: 430659 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110627/2011190d/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110627/2011190d/attachment-0001.obj>