[darcs-devel] [patch1991] harness: move legacy Tree stuff into its own module

[Ben Franksen]

New submission from Ben Franksen <ben.franksen at online.de>:

This one will, I think, not cause much debate. Clean split, no change in
functionality.

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

patch 3907522903f464fde175ffc74599224464f12400
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Feb 16 20:03:23 CET 2020
  * harness: move legacy Tree stuff into its own module
  
  D.T.P.Arbitrary.Generic has grown quite a lot with the new shrinker, so it
  makes sense to split it. Besides this gets the old Tree based generator out
  of the way, making it easier to eventually get rid of it.

----------
files: harness_-move-legacy-tree-stuff-into-its-own-module.dpatch, patch-preview.txt, unnamed
messages: 21841
nosy: bf
status: needs-screening
title: harness: move legacy Tree stuff into its own module

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1991>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 22626 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200216/40d0300f/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: harness_-move-legacy-tree-stuff-into-its-own-module.dpatch
Type: application/x-darcs-patch
Size: 43003 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200216/40d0300f/attachment-0003.bin>
-------------- next part --------------
.