git.iko.soy/elk
on master help sign in
Allocate less in registerIfNotRedundant pass
3734effEvan Czaplicki
src/Type/Solve.hs+1−1
compare with master
unifiedsplit
@@ -47,7 +47,7 @@ generalize youngPool =
47 if isRedundant then return var else TS.register var
47 if isRedundant then return var else TS.register var
48
48
49 let rankDict' = Map.delete youngRank rankDict
49 let rankDict' = Map.delete youngRank rankDict
50− F.traverse_ (mapM registerIfNotRedundant) rankDict'
50+ F.traverse_ (F.traverse_ registerIfNotRedundant) rankDict'
51
51
52 -- For variables with rank youngRank
52 -- For variables with rank youngRank
53 -- If rank < youngRank: register in oldPool
53 -- If rank < youngRank: register in oldPool