@@ -32,7 +32,8 @@ generalize youngPool = do
32 -- start at low ranks so that we only have to pass
32 -- start at low ranks so that we only have to pass
33 -- over the information once.
33 -- over the information once.
34 visitedMark <- TS.uniqueMark
34 visitedMark <- TS.uniqueMark
35+ forM (Map.toList rankDict) $ \(poolRank, vars) ->
35− mapM (\(poolRank, vars) -> mapM (adjustRank youngMark visitedMark poolRank) vars) (Map.toList rankDict)
36+ mapM (adjustRank youngMark visitedMark poolRank) vars
37 -- For variables that have rank lowerer than youngRank, register them in
38 -- For variables that have rank lowerer than youngRank, register them in
38 -- the old pool if they are not redundant.
39 -- the old pool if they are not redundant.