@@ -38,7 +38,7 @@ generalize youngPool =
38 -- over the information once.
38 -- over the information once.
39 visitedMark <- TS.uniqueMark
39 visitedMark <- TS.uniqueMark
40 forM_ (Map.toList rankDict) $ \(poolRank, vars) ->
40 forM_ (Map.toList rankDict) $ \(poolRank, vars) ->
41− mapM (adjustRank youngMark visitedMark poolRank) vars
41+ forM_ vars (adjustRank youngMark visitedMark poolRank)
43 -- For variables that have rank lowerer than youngRank, register them in
43 -- For variables that have rank lowerer than youngRank, register them in
44 -- the old pool if they are not redundant.
44 -- the old pool if they are not redundant.