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 /ghci | |
| 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 'ghci')
0 files changed, 0 insertions, 0 deletions