darcs

Patch 1991 harness: move legacy Tree stuff into its own module

Title harness: move legacy Tree stuff into its own module
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-02-16.21:31:00 by bf, last changed 2020-06-20.08:41:19 by bf.

Files
File name Status Uploaded Type Edit Remove
harness_-move-legacy-tree-stuff-into-its-own-module.dpatch bf, 2020-02-16.21:31:00 application/x-darcs-patch
patch-preview.txt bf, 2020-02-16.21:31:00 text/x-darcs-patch
unnamed bf, 2020-02-16.21:31:00 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21841 (view) Author: bf Date: 2020-02-16.21:31:00
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
msg21934 (view) Author: ganesh Date: 2020-02-27.07:12:13
Makes sense
History
Date User Action Args
2020-02-16 21:31:00bfcreate
2020-02-16 21:38:21bfsetstatus: needs-screening -> needs-review
2020-02-27 07:11:55ganeshsetstatus: needs-review -> accepted-pending-tests
2020-02-27 07:12:13ganeshsetmessages: + msg21934
2020-06-20 08:41:19bfsetstatus: accepted-pending-tests -> accepted