darcs

Patch 1755 disentangle D.R.State.filteredWorking

Title disentangle D.R.State.filteredWorking
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2018-10-18.22:13:35 by bf, last changed 2018-10-28.16:40:57 by bf.

Files
File name Status Uploaded Type Edit Remove
disentangle-d_r_state_filteredworking.dpatch bf, 2018-10-18.22:13:35 application/x-darcs-patch
patch-preview.txt bf, 2018-10-18.22:13:35 text/x-darcs-patch
unnamed bf, 2018-10-18.22:13:35 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20426 (view) Author: bf Date: 2018-10-18.22:13:35
1 patch for repository http://darcs.net/screened:

patch cc12c0b275fc233beb579c6502fa47e65c292a98
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Oct  2 23:26:43 CEST 2018
  * disentangle D.R.State.filteredWorking
  
  Swapping the order of the cases and then trying to pull out applyTreeFilter
  relevant made it apparent that
  (a) using the index in the IgnoreIndex case can be replaced by passing the
      pending_tree instead, and
  (b) applyTreeFilter relevant was missing in the UseIndex+ScanKnown case.
Attachments
History
Date User Action Args
2018-10-18 22:13:35bfcreate
2018-10-28 16:40:57bfsetstatus: needs-screening -> needs-review