Patch 2248: harness: fix arbitraryUTF8PatchInfo (and 1 more) - Darcs bug tracker

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

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

Files
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.

Messages
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. Attachments harness_-fix-arbitraryutf8patchinfo.dpatch patch-preview.txt
msg23028 (view)	Author: bf	Date: 2022-06-13.19:09:21
self accept (test harness / obvious fix)

History
Date	User	Action	Args
2022-06-08 11:45:39	bf	create
2022-06-08 11:46:08	bf	set	status: needs-screening -> needs-review
2022-06-13 19:09:21	bf	set	status: needs-review -> accepted-pending-tests messages: + msg23028
2022-12-31 13:16:41	ganesh	set	status: accepted-pending-tests -> accepted