darcs

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

Title add partitionRL', mirroring partitionFL' (and 1 more)
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To
Milestone

Created on 2022-06-21.15:42:06 by bfrk, last changed 2023-06-24.18:17:24 by ganesh.

Files
File name Status Uploaded Type Edit Remove
add-partitionrl__-mirroring-partitionfl_.dpatch bfrk, 2022-06-21.15:42:05 application/x-darcs-patch
patch-preview.txt bfrk, 2022-06-21.15:42:05 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg23034 (view) Author: bfrk 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: bfrk Date: 2022-06-21.16:16:02
Note: will probably self-accept this one
msg23394 (view) Author: ganesh Date: 2023-06-24.17:59:06
All good.
History
Date User Action Args
2022-06-21 15:42:06bfrkcreate
2022-06-21 16:16:03bfrksetstatus: needs-screening -> needs-review
messages: + msg23036
2023-06-24 17:59:07ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg23394
2023-06-24 18:17:24ganeshsetstatus: accepted-pending-tests -> accepted