[darcs-devel] [patch2167] include the RepoPatchV1 tests via the no... (and 4 more)

Ben Franksen bugs at darcs.net
Thu Jun 3 12:09:51 UTC 2021


Ben Franksen <ben.franksen at online.de> added the comment:

All accepted, details below.

>   * include the RepoPatchV1 tests via the normal Patch tests

OK.

>   I think they may have been included separately before to
>   avoid instance conflicts, which are no longer an issue.

Exactly.

>   * inline D.T.Patch.RepoPatchV1 into D.T.Patch

OK

>   * add the "standard" repoPatchProperties to qc_V1P1

OK

>   * Drop a deliberately duplicated QC property

OK

>   * drop tests in qc_V1P1 that are just about prims

OK, though I would have removed propCommuteInverse as well (this is
D.T.P.Properties.Generic.squareCommuteLaw).

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


More information about the darcs-devel mailing list