Patch 2248 harness: fix arbitraryUTF8PatchInfo (and 1 more)

Title harness: fix arbitraryUTF8PatchInfo (and 1 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2022-06-08.11:45:39 by bf, last changed 2022-12-31.13:16:41 by ganesh.

File name Status Uploaded Type Edit Remove
harness_-fix-arbitraryutf8patchinfo.dpatch bf, 2022-06-08.11:45:38 application/x-darcs-patch
patch-preview.txt bf, 2022-06-08.11:45:38 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg23011 (view) Author: bf Date: 2022-06-08.11:45:38
2 patches for repository http://darcs.net/screened:

patch 5ecdf2b862aa1658c9f0e62cf8c72bf5e24f7cde
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat May 14 19:46:22 CEST 2022
  * harness: fix arbitraryUTF8PatchInfo

  Otherwise propMetadataEncoding may (and does) fail.

patch dbc606bdb6573e7ea6c9bbd3a86efb753bf5c25b
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat May 14 19:47:41 CEST 2022
  * derive instance Show PatchInfo

  The manually written instance turned out to be useless for debugging the
  property test failure caused by an error in arbitraryUTF8PatchInfo. Also
  note that we already export the data constructor for testing.
msg23028 (view) Author: bf Date: 2022-06-13.19:09:21
self accept (test harness / obvious fix)
Date User Action Args
2022-06-08 11:45:39bfcreate
2022-06-08 11:46:08bfsetstatus: needs-screening -> needs-review
2022-06-13 19:09:21bfsetstatus: needs-review -> accepted-pending-tests
messages: + msg23028
2022-12-31 13:16:41ganeshsetstatus: accepted-pending-tests -> accepted