diff options
author | 2016-05-23 18:47:30 -0400 | |
---|---|---|
committer | 2016-05-23 18:47:30 -0400 | |
commit | 622b379d132c1c6e329d19fe6cb6486fe1335047 (patch) | |
tree | 75dcf90c6716cafcac631a4fde2635aca95781ce /Git/DiffTree.hs | |
parent | 5215c82ccbc91a2d6a7329ba444472695bec52a1 (diff) |
improved refactoring
ghc 8.0.1 didn't like runner because it used Rank2Types or something.
Instead, factor out the feeder action.
Diffstat (limited to 'Git/DiffTree.hs')
0 files changed, 0 insertions, 0 deletions