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

[Ganesh Sittampalam]

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

Updated version of the patches. I've added some documentation
to the patch kind type.

Let's make a decision either way on these soon as they'll rot
quite fast (especially the last two). I think we should at
least take the first two.

We can also migrate from all the undefineds over the test
harness to type applications, but that might as well go in
separate patch(es).

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

patch c66ef0ecf7a1e57c3eaf2cc74e8abb402d8bcdac
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Aug  6 16:57:59 BST 2019
  * drop Darcs.Patch.Type and use TypeApplications instead

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 2ad67fe045d12c1574a1003cb93fc469f7b0344b
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Aug  6 17:50:09 BST 2019
  * drop our custom EqCheck type for (:~:) from base

patch 261ac89aa2af3586d1dd6851a7cf47adc94d8305
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Aug  6 20:48:48 BST 2019
  * Give patch contexts their own kind

__________________________________
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: 64273 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190806/ec9787a5/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: drop-darcs_patch_type-and-use-typeapplications-instead.dpatch
Type: application/x-darcs-patch
Size: 131271 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190806/ec9787a5/attachment-0003.bin>
-------------- next part --------------
.