[darcs-devel] [patch1768] make it clear that coercing Repository is "unsafe"

Ben Franksen bugs at darcs.net
Tue Jun 11 19:31:20 UTC 2019


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

We already discussed it in detail. One point I like is that we are now 
forced to say which witnesses we coerce (see the change to 
Darcs.Repository.Job) which clarifies the code. Also unsafeCoerceXXX 
stands out more and this increases the motivation to remove as many of 
them as possible.

----------
status: needs-review -> accepted

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


More information about the darcs-devel mailing list