Allocate less in registerIfNotRedundant pass
commit3734eff1bf4cddeed21255c16d3b651116d44282
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateThu 11 May 2017, 19:15 (9 years ago)
parentf3a7c77
src/Type/Solve.hs+1−1
@@ -47,7 +47,7 @@ generalize youngPool =
4747 if isRedundant then return var else TS.register var
4848
4949 let rankDict' = Map.delete youngRank rankDict
50− F.traverse_ (mapM registerIfNotRedundant) rankDict'
50+ F.traverse_ (F.traverse_ registerIfNotRedundant) rankDict'
5151
5252 -- For variables with rank youngRank
5353 -- If rank < youngRank: register in oldPool