Patch 2336: RepoPatchV3: rename a local variable in ... (and 2 more) - Darcs bug tracker

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

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

Files
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.

Messages
msg23634 (view)	Author: bfrk	Date: 2023-07-25.23:58:58
Bundling these refactors separately from the discussion about proofs and invariants. 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 Attachments patch-preview.txt repopatchv3_-rename-a-local-variable-in-commuteconflicting.dpatch
msg23643 (view)	Author: ganesh	Date: 2023-07-29.13:54:42
All OK.

History
Date	User	Action	Args
2023-07-25 23:59:00	bfrk	create
2023-07-26 00:00:21	bfrk	set	status: needs-screening -> needs-review
2023-07-29 13:54:42	ganesh	set	messages: + msg23643
2023-07-29 13:54:49	ganesh	set	status: needs-review -> accepted-pending-tests
2024-02-18 15:38:58	ganesh	set	status: accepted-pending-tests -> accepted