darcs

Patch 1805 get rid of orphan FromPrim (FL p) instance

Title get rid of orphan FromPrim (FL p) instance
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2019-06-08.20:34:53 by ganesh, last changed 2019-06-11.20:50:02 by bf.

Files
File name Status Uploaded Type Edit Remove
get-rid-of-orphan-fromprim-_fl-p_-instance.dpatch ganesh, 2019-06-08.20:34:52 application/x-darcs-patch
patch-preview.txt ganesh, 2019-06-08.20:34:52 text/x-darcs-patch
unnamed ganesh, 2019-06-08.20:34:52 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20700 (view) Author: ganesh Date: 2019-06-08.20:34:52
This is a follow-up to patch1792

I had forgotten how many orphan instances we have in our
test harness. Probably in some cases they make sense as
they are convenient in test code but we wouldn't want
them in the main code. But this one seems particularly
awkward and isn't too ugly to drop.

1 patch for repository darcs-unstable@darcs.net:screened:

patch f9e980de0da2e2ab2e85105efb0423b858d10c0e
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat Jun  8 21:24:44 BST 2019
  * get rid of orphan FromPrim (FL p) instance
Attachments
msg20729 (view) Author: bf Date: 2019-06-11.20:47:04
This one is already in screened.
msg20730 (view) Author: bf Date: 2019-06-11.20:50:02
Makes sense and does not conflict with my V3 branch.
History
Date User Action Args
2019-06-08 20:34:53ganeshcreate
2019-06-11 20:47:04bfsetstatus: needs-screening -> needs-review
messages: + msg20729
2019-06-11 20:50:02bfsetstatus: needs-review -> accepted
messages: + msg20730