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

Ganesh Sittampalam bugs at darcs.net
Tue Aug 27 12:20:26 UTC 2019


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

This is for discussion for now, particularly the second patch.

(I also still need to get a full test harness run to validate
the claim in the patch message, but the unit tests and a fair
proportion of the shell tests are definitely ok)

2 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 ff075a27c24e92768b0402d95841df9b366f9705
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Tue Aug 27 13:11:42 BST 2019
  * get rid of unsafe unsealing
  
  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.
  
  The laziness property of 'seal' doesn't seem to be actually
  needed by any test and is unlikely to have any performance
  impact.

----------
files: patch-preview.txt, remove-unused-functions-from-d_p_w_sealed.dpatch, unnamed
messages: 21233
nosy: ganesh
status: needs-screening
title: remove unused functions from D.P.W.Sealed (and 1 more)

__________________________________
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: 6941 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190827/0acd1366/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: 7189 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190827/0acd1366/attachment-0001.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list