fix lack of laziness streaming large diffs
authorJoey Hess <joeyh@joeyh.name>
Tue, 31 Jan 2017 21:43:11 +0000 (17:43 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 31 Jan 2017 21:43:11 +0000 (17:43 -0400)
commitdbaea9883687d6e9e4e0aa05db2c2d4d68f29c6f
tree376d83afddcf5573fa2d88d3aa30a1a09de2506b
parenta130bc4f9bbcdd2d0819f10d21567fa0ff18d9c4
fix lack of laziness streaming large diffs

A commit last year that made a partial function use Maybe unfortunately
caused the whole input to need to be consumed, breaking streaming. So,
revert it.

This commit was sponsored by Nick Daly on Patreon.
Git/DiffTree.hs
doc/todo/more_efficient_memory_usage_with_git-annex_unused/comment_2_1eff4497bf0a3e87dc47a1226c5d4af8._comment [new file with mode: 0644]