@@ -77,7 +77,8 @@ adjustRank youngMark visitedMark groupRank variable =
77 EmptyRecord1 -> return outermostRank
77 EmptyRecord1 -> return outermostRank
78 Record1 fields extension -> do
78 Record1 fields extension -> do
79 ranks <- mapM adjust (concat (Map.elems fields))
79 ranks <- mapM adjust (concat (Map.elems fields))
80− max (maximum ranks) `liftM` adjust extension
80+ rnk <- adjust extension
81+ return . maximum $ rnk : ranks
81 liftIO $ UF.setDescriptor variable (desc { mark = visitedMark, rank = rank' })
82 liftIO $ UF.setDescriptor variable (desc { mark = visitedMark, rank = rank' })
82 return rank'
83 return rank'