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

[Ganesh Sittampalam]

New submission from Ganesh Sittampalam <ganesh at earth.li>:

Just for discussion for now. I've replaced EqCheck wA wB
with Maybe (wA :~: wB).

It's always nice not to roll our own for standard concepts,
and it means we can occasionally use (wA :~: wB) directly.

On the other hand the change will probably conflict with
other WIP, and it does make things a bit more verbose -
e.g. Just Refl is longer than IsEq.

1 patch 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

----------
files: drop-our-custom-eqcheck-type-for-_____-from-base.dpatch, patch-preview.txt, unnamed
messages: 20704
nosy: ganesh
status: needs-screening
title: drop our custom EqCheck type for (:~:) from base

__________________________________
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: 29178 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190609/f3eae49e/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: 59042 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190609/f3eae49e/attachment-0003.bin>
-------------- next part --------------
.