git.iko.soy/elk
on master help sign in
Stop building unneeded data structure
commit2f6c8fcc805e51f05a5afd38d380bbbcda1c6d66 authorEvan Czaplicki <evancz@users.noreply.github.com> dateThu 11 May 2017, 18:37 (9 years ago) parent921a5a1
1 file changed+1−1
compare with master
unifiedsplit
src/Type/Solve.hs+1−1
src/Type/Solve.hs+1−1
@@ -38,7 +38,7 @@ generalize youngPool =
3838 -- over the information once.
3939 visitedMark <- TS.uniqueMark
4040 forM_ (Map.toList rankDict) $ \(poolRank, vars) ->
41− mapM (adjustRank youngMark visitedMark poolRank) vars
41+ forM_ vars (adjustRank youngMark visitedMark poolRank)
4242
4343 -- For variables that have rank lowerer than youngRank, register them in
4444 -- the old pool if they are not redundant.