[darcs-devel] [patch1816] fix a (serious!) bug in instance Apply (RL p)

Ben Franksen bugs at darcs.net
Wed Jun 12 11:38:58 UTC 2019


New submission from Ben Franksen <ben.franksen at online.de>:

I guess this is late fallout from my long ago refactor that changed the
argument order for the patch sequencing operators. This isn't covered by
unit tests since they only use FLs. And the type checker cannot flag this
error because apply is monadic and Trees aren't tagged with witnesses.

1 patch for repository /home/ben/src/darcs/sent:

patch 8c3031c28048eb2d14af5eb26ad96cb57d33d69c
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Mar  6 11:40:28 CET 2019
  * fix a (serious!) bug in instance Apply (RL p)

----------
files: fix-a-_serious__-bug-in-instance-apply-_rl-p_.dpatch, patch-preview.txt, unnamed
messages: 20749
nosy: bf
status: needs-screening
title: fix a (serious!) bug in instance Apply (RL p)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1816>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 321 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190612/71560f0a/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-a-_serious__-bug-in-instance-apply-_rl-p_.dpatch
Type: application/x-darcs-patch
Size: 801 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190612/71560f0a/attachment-0001.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list