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

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

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.
Date User Action Args
2023-02-25 07:35:20bfrkcreate
2023-02-25 07:35:52bfrksetstatus: needs-screening -> accepted-pending-tests
2023-06-24 18:17:28ganeshsetstatus: accepted-pending-tests -> accepted