Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
bedc1004
by Cheng Shao at 2025-08-26T09:31:18-04:00
1 changed file:
Changes:
| ... | ... | @@ -83,6 +83,7 @@ import GHC.Data.Word64Map.Strict (Word64Map) |
| 83 | 83 | import qualified GHC.Data.Word64Map.Strict as M
|
| 84 | 84 | import GHC.Data.TrieMap
|
| 85 | 85 | |
| 86 | +import Data.Coerce
|
|
| 86 | 87 | import Data.Word (Word64)
|
| 87 | 88 | |
| 88 | 89 | |
| ... | ... | @@ -164,7 +165,7 @@ setFoldr k z (LS s) = S.foldr (\v a -> k (mkHooplLabel v) a) z s |
| 164 | 165 | |
| 165 | 166 | {-# INLINE setElems #-}
|
| 166 | 167 | setElems :: LabelSet -> [Label]
|
| 167 | -setElems (LS s) = map mkHooplLabel (S.elems s)
|
|
| 168 | +setElems (LS s) = coerce $ S.elems s
|
|
| 168 | 169 | |
| 169 | 170 | {-# INLINE setFromList #-}
|
| 170 | 171 | setFromList :: [Label] -> LabelSet
|
| ... | ... | @@ -272,7 +273,7 @@ mapKeys (LM m) = map (mkHooplLabel . fst) (M.toList m) |
| 272 | 273 | |
| 273 | 274 | {-# INLINE mapToList #-}
|
| 274 | 275 | mapToList :: LabelMap b -> [(Label, b)]
|
| 275 | -mapToList (LM m) = [(mkHooplLabel k, v) | (k, v) <- M.toList m]
|
|
| 276 | +mapToList (LM m) = coerce $ M.toList m
|
|
| 276 | 277 | |
| 277 | 278 | {-# INLINE mapFromList #-}
|
| 278 | 279 | mapFromList :: [(Label, v)] -> LabelMap v
|