[darcs-devel] [patch1895] remove unused functions from D.P.W.Sealed (and 1 more)

[Ganesh Sittampalam]

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

New version of bundle, which I'll screen now.

This version passes the tests and preserves the laziness
of unseal. As discussed it does stop exporting
unsafeUnseal.

Also tried to document the current situation.

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

patch 2343f0cab3c9f7a13702d83fc465eb49bde2c7ba
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Sun Aug 18 15:34:26 BST 2019
  * remove unused functions from D.P.W.Sealed

patch aeeaff120da10d9800f260d01ec8f859b1e39e24
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Mon Sep  2 18:08:29 BST 2019
  * don't export unsafe unseal operations
  
  An unsafe unseal is really just an unsafe coerce of
  an existentially quantified witness, so make that explicit
  and reduce the number of kinds of "unsafe" operations
  we have to understand.
  
  unsafeUnseal[2] is still needed internally to implement
  a suitably lazy unseal/unseal2.
  

patch 61f57743142c4a8e6b51e25d7d590428aa8fc0ea
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Mon Sep  2 20:26:31 BST 2019
  * document the laziness of unseal in more detail

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1895>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 7717 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190902/1555af6d/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: remove-unused-functions-from-d_p_w_sealed.dpatch
Type: application/x-darcs-patch
Size: 7965 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190902/1555af6d/attachment-0001.bin>
-------------- next part --------------
.