Patch 1873: v3: re-add two optimisations for Context... (and 1 more) - Darcs bug tracker

Title	v3: re-add two optimisations for Context... (and 1 more)
Superseder		Nosy List	bfrk
Related Issues
Status	accepted	Assigned To
Milestone

Created on 2019-08-15.07:23:27 by bfrk, last changed 2019-08-26.11:59:27 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
patch-preview.txt		bfrk, 2019-08-15.07:23:27	text/x-darcs-patch
unnamed		bfrk, 2019-08-15.07:23:27	text/plain
v3_-re_add-two-optimisations-for-contexted-patches.dpatch		bfrk, 2019-08-15.07:23:27	application/x-darcs-patch

See mailing list archives for discussion on individual patches.

Messages
msg21104 (view)	Author: bfrk	Date: 2019-08-15.07:23:27
Two minor improvements for RepoPatchV3. 2 patches for repository http://darcs.net/screened: patch 230981418a27f3f4c77ee5aa5385abd97582e249 Author: Ben Franksen <ben.franksen@online.de> Date: Tue Jul 30 21:19:41 CEST 2019 * v3: re-add two optimisations for Contexted patches I had them in my original version but removed them due to confusion about fold combinators from D.P.Witnesses.Ordered. We no longer use these combinators here because the simple recursive definitions are easier to understand. patch d6e3eead22859a84e99fc6dbd0d16df7e36a482a Author: Ben Franksen <ben.franksen@online.de> Date: Thu Aug 1 20:04:22 CEST 2019 * RepoPatchV3: optimize apply using applyPrimFL as for V1 and V2 Attachments patch-preview.txt unnamed v3_-re_add-two-optimisations-for-contexted-patches.dpatch
msg21177 (view)	Author: ganesh	Date: 2019-08-25.15:42:02
Both fine.

History
Date	User	Action	Args
2019-08-15 07:23:27	bfrk	create
2019-08-15 07:24:03	bfrk	set	status: needs-screening -> needs-review
2019-08-25 15:42:02	ganesh	set	status: needs-review -> accepted-pending-tests messages: + msg21177
2019-08-26 11:59:27	ganesh	set	status: accepted-pending-tests -> accepted