Patch 2283: add and use a few generic Gap utilities

Title	add and use a few generic Gap utilities
Superseder		Nosy List	bfrk
Related Issues
Status	accepted	Assigned To
Milestone

Created on 2023-02-25.07:35:20 by bfrk, last changed 2023-06-24.18:17:28 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
add-and-use-a-few-generic-gap-utilities.dpatch		bfrk, 2023-02-25.07:35:19	application/x-darcs-patch
patch-preview.txt		bfrk, 2023-02-25.07:35:19	text/x-darcs-patch

See mailing list archives for discussion on individual patches.

msg23123 (view)

Author: bfrk

Date: 2023-02-25.07:35:19

Pure refactor, will self-accept.

1 patch for repository http://darcs.net/screened:

patch f931ec31518b349de20ca963801eed7a9d5dd479
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Sep 19 08:55:32 CEST 2021
  * add and use a few generic Gap utilities

  This also re-implements freeLeftToFL as unFreeLeft . joinGapsFL and then
  inlines it at its two call sites.

Attachments

History
Date	User	Action	Args
2023-02-25 07:35:20	bfrk	create
2023-02-25 07:35:52	bfrk	set	status: needs-screening -> accepted-pending-tests
2023-06-24 18:17:28	ganesh	set	status: accepted-pending-tests -> accepted

Patch 2283 add and use a few generic Gap utilities

Attachments