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@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.
Attachments
|