We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 139caa1 commit bc211b2Copy full SHA for bc211b2
Data/HashMap/Internal.hs
@@ -2395,8 +2395,7 @@ disjointArrays !s !bmA !aryA !bmB !aryB = go (bmA .&. bmB)
2395
2396
-- TODO: GHC 9.12.2 inlines disjointCollisions into `disjoint @Int`.
2397
-- How do you prevent this while preserving specialization?
2398
---
2399
--- TODO: GHC 9.12.2 also likes to rebox aryA when it is _not_ inlined. :/
+-- https://stackoverflow.com/questions/79838305/ensuring-specialization-while-preventing-inlining
2400
disjointCollisions :: Eq k => Hash -> A.Array (Leaf k a) -> Hash -> A.Array (Leaf k b) -> Bool
2401
disjointCollisions !hA !aryA !hB !aryB
2402
| hA == hB = A.all predicate aryA
0 commit comments