Patch 1873 v3: re-add two optimisations for Context... (and 1 more)

Title v3: re-add two optimisations for Context... (and 1 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2019-08-15.07:23:27 by bf, last changed 2019-08-26.11:59:27 by ganesh.

File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2019-08-15.07:23:27 text/x-darcs-patch
unnamed bf, 2019-08-15.07:23:27 text/plain
v3_-re_add-two-optimisations-for-contexted-patches.dpatch bf, 2019-08-15.07:23:27 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg21104 (view) Author: bf Date: 2019-08-15.07:23:27
Two minor improvements for RepoPatchV3.

2 patches for repository http://darcs.net/screened:

patch 230981418a27f3f4c77ee5aa5385abd97582e249
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Jul 30 21:19:41 CEST 2019
  * v3: re-add two optimisations for Contexted patches
  I had them in my original version but removed them due to confusion about
  fold combinators from D.P.Witnesses.Ordered. We no longer use these
  combinators here because the simple recursive definitions are easier to

patch d6e3eead22859a84e99fc6dbd0d16df7e36a482a
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Aug  1 20:04:22 CEST 2019
  * RepoPatchV3: optimize apply using applyPrimFL as for V1 and V2
msg21177 (view) Author: ganesh Date: 2019-08-25.15:42:02
Both fine.
Date User Action Args
2019-08-15 07:23:27bfcreate
2019-08-15 07:24:03bfsetstatus: needs-screening -> needs-review
2019-08-25 15:42:02ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg21177
2019-08-26 11:59:27ganeshsetstatus: accepted-pending-tests -> accepted