Some cleanup of the RepoPatchV1 tests.
As always there is more that could be done :-)

5 patches for repository darcs-unstable@darcs.net:screened:

patch b70bd0615b26d3d203734f7da8b757de8b8cb47b
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat May  8 14:52:06 BST 2021
  * include the RepoPatchV1 tests via the normal Patch tests
  
  I think they may have been included separately before to
  avoid instance conflicts, which are no longer an issue.

patch 50d460611bb5709e80576e714e638578dce15b94
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat May  8 15:12:57 BST 2021
  * inline D.T.Patch.RepoPatchV1 into D.T.Patch

patch f8d98877df3f496900df47703c19c503c94625f7
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat May  8 15:33:10 BST 2021
  * add the "standard" repoPatchProperties to qc_V1P1
  
  This means we can drop the custom showRead property.

patch 85b27d802310fe8c0dde81f7e6b4d67f9da287a0
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat May  8 15:33:32 BST 2021
  * Drop a deliberately duplicated QC property
  
  We don't gain anything useful from running it twice.

patch 914766c965bc792301f60eba482aae2196e3cfbd
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat May  8 16:46:01 BST 2021
  * drop tests in qc_V1P1 that are just about prims
  
  There are better versions in qc_prim anyway.

Attachments

• include-the-repopatchv1-tests-via-the-normal-patch-tests.dpatch
• patch-preview.txt
• unnamed

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).