darcs

Patch 2261 add partitionRL', mirroring partitionFL' (and 1 more)

Title add partitionRL', mirroring partitionFL' (and 1 more)
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2022-06-21.15:42:06 by bf, last changed 2022-06-21.16:16:03 by bf.

Files
File name Status Uploaded Type Edit Remove
add-partitionrl__-mirroring-partitionfl_.dpatch bf, 2022-06-21.15:42:05 application/x-darcs-patch
patch-preview.txt bf, 2022-06-21.15:42:05 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg23034 (view) Author: bf Date: 2022-06-21.15:42:05
2 patches for repository http://darcs.net/screened:

patch 07469ba0d8cd2288aa7f5cf206983023541ffee2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Jun 21 11:13:03 CEST 2022
  * add partitionRL', mirroring partitionFL'

  Not used yet, but will be needed further on.

patch 58986bf82a36c38e0058eeb49d003d980eb5cd6b
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Jun 21 10:57:14 CEST 2022
  * remove commuteToPostfix, commuteWhatWeCanToPostfix

  The first function wasn't used anywhere. The second one was badly named and
  only used in one place in the test suite. We replace it with partitionRL'.
  This patch also fixes outdated haddocks for commuteToPrefix.
Attachments
msg23036 (view) Author: bf Date: 2022-06-21.16:16:02
Note: will probably self-accept this one
History
Date User Action Args
2022-06-21 15:42:06bfcreate
2022-06-21 16:16:03bfsetstatus: needs-screening -> needs-review
messages: + msg23036