Patch 1975 make type Cache abstract

Title make type Cache abstract
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2020-01-30.17:22:53 by bf, last changed 2020-02-15.22:06:37 by ganesh.

File name Status Uploaded Type Edit Remove
make-type-cache-abstract.dpatch bf, 2020-01-30.17:22:53 application/x-darcs-patch
patch-preview.txt bf, 2020-01-30.17:22:53 text/x-darcs-patch
unnamed bf, 2020-01-30.17:22:53 text/plain
See mailing list archives for discussion on individual patches.
msg21763 (view) Author: bf Date: 2020-01-30.17:22:53
1 patch for repository http://darcs.net/screened:

patch 8dfc754957135f9695eb9e78ad31fb202cb4548c
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Jan 28 16:50:53 CET 2020
  * make type Cache abstract
  This allows to locally maintain the invariant that the cache entries are
  always unique and sorted by locality. Two functions (dropNonRepos,
  closestWritableDirectory) have been pulled into D.R.Cache.
msg21828 (view) Author: ganesh Date: 2020-02-15.20:38:07
Looks good
Date User Action Args
2020-01-30 17:22:53bfcreate
2020-01-30 17:23:36bfsetstatus: needs-screening -> needs-review
2020-02-15 20:38:08ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg21828
2020-02-15 22:06:37ganeshsetstatus: accepted-pending-tests -> accepted