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

Mon Jun 14 17:13:28 COT 2010  builes.adolfo@googlemail.com
  * Drop global cache entries from _darcs/prefs/sources

Attachments

• drop-global-cache-entries-from-_darcs_prefs_sources.dpatch
• unnamed

Adolfo Builes <bugs@darcs.net> writes:

> hunk ./src/Darcs/Repository/HashedRepo.hs 297
> -    dropLocalCache globalCache (Ca cache) = Ca $ filter (/= globalCache) cache
> +    dropGlobalCaches (Ca cache) = Ca $ filter notGlobalCache cache
> +    notGlobalCache xs = case xs of
> +                         Cache DarcsCache.Directory _ _ -> False
> +                         _                              -> True
You could more concisely write

repoCachesOnly (Ca cache) = Ca [ c | c@(Cache Repo _ _) <- cache ]

also in your version, the case is redundant, you can write
notGlobalCache (Cache DarcsCache.Directory _ _) = False
notGlobalCache _                                = True

On the other hand, these are stylistic tweaks, and if you like to do
them, you can post a separate patch. I am pushing this one...

Yours,
   Petr.

This patch bundle (with 1 patches) was just applied to the repository http://darcs.net/.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-b231a03d17bce607e60d0a5d57a400b698e5c962

This patch bundle (with 1 patches) was just applied to the repository http://darcs.net/reviewed.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_reviewed.html#bundle-b231a03d17bce607e60d0a5d57a400b698e5c962