darcs

Patch 1975 make type Cache abstract

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

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

Files
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.
Messages
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.
Attachments
msg21828 (view) Author: ganesh Date: 2020-02-15.20:38:07
Looks good
History
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