diff options
author | Joey Hess <joey@kitenet.net> | 2013-10-07 04:05:14 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-10-07 04:05:14 -0400 |
commit | c0caa37187e9c062825dd6d5cb6be2dfa63bc7dd (patch) | |
tree | f3e18559eab44b03e29da13df9163b1a25af72dc /git-annex.cabal | |
parent | 25dbffe682ba78d0a6dccaa9c64848600e729028 (diff) |
use vector in local status
Thought was that this would be faster than a map, since a vector can be
updated more efficiently. It turns out to not seem to matter; runtime and
memory usage are basically identical.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r-- | git-annex.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 20ac48511..c8dc4bb9b 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -78,7 +78,7 @@ Executable git-annex Main-Is: git-annex.hs Build-Depends: MissingH, hslogger, directory, filepath, containers, utf8-string, network (>= 2.0), mtl (>= 2), - bytestring, old-locale, time, HTTP, + bytestring, old-locale, time, HTTP, vector, extensible-exceptions, dataenc, SHA, process, json, base (>= 4.5 && < 4.9), monad-control, MonadCatchIO-transformers, IfElse, text, QuickCheck >= 2.1, bloomfilter, edit-distance, process, |