Patch 2336 RepoPatchV3: rename a local variable in ... (and 2 more)

Title RepoPatchV3: rename a local variable in ... (and 2 more)
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To

Created on 2023-07-25.23:59:00 by bfrk, last changed 2024-02-18.15:38:58 by ganesh.

File name Status Uploaded Type Edit Remove
patch-preview.txt bfrk, 2023-07-25.23:58:57 text/x-darcs-patch
repopatchv3_-rename-a-local-variable-in-commuteconflicting.dpatch bfrk, 2023-07-25.23:58:58 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg23634 (view) Author: bfrk Date: 2023-07-25.23:58:58
Bundling these refactors separately from the discussion about proofs and

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

patch 6258469bb43380d5f73532d5a7d88a7867f6444e
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul 23 09:19:35 CEST 2023
  * RepoPatchV3: rename a local variable in commuteConflicting

patch 5a96ce8b98b6cd617bfba584c6f9301ad17fddff
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul  3 23:02:52 CEST 2023
  * RepoPatchV3 refactor commuteNoConflicts case for two conflictors

  The code now mirrors the corresponding case in cleanMerge exactly.

patch 419d024cbc9d0cea0c23f0a206abac7426fb1e77
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul  3 22:59:36 CEST 2023
  * RepoPatchV3: use monadic style everywhere in commuteNoConflicts
msg23643 (view) Author: ganesh Date: 2023-07-29.13:54:42
All OK.
Date User Action Args
2023-07-25 23:59:00bfrkcreate
2023-07-26 00:00:21bfrksetstatus: needs-screening -> needs-review
2023-07-29 13:54:42ganeshsetmessages: + msg23643
2023-07-29 13:54:49ganeshsetstatus: needs-review -> accepted-pending-tests
2024-02-18 15:38:58ganeshsetstatus: accepted-pending-tests -> accepted