[darcs-devel] [patch1807] drop our custom EqCheck type for (:~:) from base

[Ganesh Sittampalam]

Ganesh Sittampalam <ganesh at earth.li> added the comment:

Updated bundle with more possible updates to witnesses etc.

I'm not sure any of them except dropping Darcs.Patch.Type
is that compelling. The 'role nominal' one isn't very
invasive and adds a bit of safety, so is probably worth it
as well.

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

patch 8a9b8365cb739b10bc1b282109da85a55e78c3a2
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Sun Jun  9 10:52:37 BST 2019
  * drop our custom EqCheck type for (:~:) from base

patch c1f343cadad9a2f1ba9fdaa1cc8fb1226d1cbc08
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Jun 11 07:06:02 BST 2019
  * make sure patch context witnesses have role nominal
  
  This makes sure calling code can't use coerce to change the
  witnesses.
  
  We only need to do this for the low-level types. Higher-level
  ones that take other patches as parameters will have this role
  inferred anyway.

patch 34588de518a656932affad4fa33556612b8e47a7
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Jun 11 07:37:58 BST 2019
  * Give patch contexts their own kind

patch 4b92c674ba371121fe71234b349a01989ba21e78
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Jun 11 08:08:05 BST 2019
  * drop Darcs.Patch.Type and use TypeApplications instead

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1807>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 60423 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190611/891bea0b/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: drop-our-custom-eqcheck-type-for-_____-from-base.dpatch
Type: application/x-darcs-patch
Size: 96984 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190611/891bea0b/attachment-0003.bin>
-------------- next part --------------
.