[darcs-devel] [patch1880] decouple RepoPatchV3 impl from NamedPrim

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

> BTW. I am currently using the latest screened with your latest patches
> we discussed and some of mine, and I just noticed that darcs seems to
> have gotten /considerably/ slower than it used to be, for almost every
> command.
> 
> This is what I have now on top of screened:
> 
> ben at juliana[1]:.../darcs/sent>darcs send --dry-run
[...]
> patch ff075a27c24e92768b0402d95841df9b366f9705
> Author: Ganesh Sittampalam <ganesh at earth.li>
> Date:   Tue Aug 27 14:11:42 CEST 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.

Back to normal after I obliterated this one and rebuilt. I should have
known, of course. Still, interesting to observe how much of a difference
this makes in practice.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1880>
__________________________________