darcs

Patch 1978 add ArbitraryState instance for Named (and 3 more)

Title add ArbitraryState instance for Named (and 3 more)
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-01-30.20:57:21 by ganesh, last changed 2020-01-31.06:32:59 by bf.

Files
File name Status Uploaded Type Edit Remove
add-arbitrarystate-instance-for-named.dpatch ganesh, 2020-01-30.20:57:21 application/x-darcs-patch
patch-preview.txt ganesh, 2020-01-30.20:57:21 text/x-darcs-patch
unnamed ganesh, 2020-01-30.20:57:21 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21775 (view) Author: ganesh Date: 2020-01-30.20:57:21
a few test suite updates wanted for, but
independent of, the unwind testing

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

patch fb7ed795ca5f75fcb4cb647759d6c95f168e6aae
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Mon Jan 27 22:56:40 GMT 2020
  * add ArbitraryState instance for Named

patch 34ed639cb8731137517130c36143eb63989219e5
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Mon Jan 27 22:59:49 GMT 2020
  * generalize sequence generation

patch cbbbc22c87de6c1357f656669257a37a552f0936
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Wed Jan 29 07:23:10 GMT 2020
  * add combineTestResults utility

patch 95584c41efeb7c4f49deba38a5ff193761d41e99
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Wed Jan 29 07:23:18 GMT 2020
  * add Show instance for TestResult
Attachments
msg21776 (view) Author: bf Date: 2020-01-31.06:32:59
Useful, well-documented (where needed) and nicely implemented.
History
Date User Action Args
2020-01-30 20:57:21ganeshcreate
2020-01-31 06:32:59bfsetstatus: needs-screening -> accepted
messages: + msg21776