diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-02-23 21:35:16 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-02-23 21:35:16 -0400 |
commit | 6229edf7d420c6a9c0f2a3f7d32eba03caad1afc (patch) | |
tree | f9f8eabe9405bcc06ff9588d7cb24a7a20b3918c /Git/FilePath.hs | |
parent | ec5e6d7dec82f06be9600a012c5aaf01a30f6af7 (diff) |
add adjustTree (low-level) interface that avoids buffering much in memory
Using getTree and recordTree in my big repo takes 594 mb ram.
Using adjustTree takes 73 mb.
Diffstat (limited to 'Git/FilePath.hs')
-rw-r--r-- | Git/FilePath.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Git/FilePath.hs b/Git/FilePath.hs index 2085f287b..5af74c067 100644 --- a/Git/FilePath.hs +++ b/Git/FilePath.hs @@ -31,7 +31,7 @@ import qualified System.FilePath.Posix {- A FilePath, relative to the top of the git repository. -} newtype TopFilePath = TopFilePath { getTopFilePath :: FilePath } - deriving (Show) + deriving (Show, Eq) {- Path to a TopFilePath, within the provided git repo. -} fromTopFilePath :: TopFilePath -> Git.Repo -> FilePath |