GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2023-01-22T04:01:22Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/17126`reallyUnsafePtrEquality#` should be levity polymorphic2023-01-22T04:01:22ZSebastian Graf`reallyUnsafePtrEquality#` should be levity polymorphicI don't see why we couldn't use `reallyUnsafePtrEquality#` on types of kind `UnliftedRep`. Currently, we have to throw in an additional `unsafeCoerce` to achieve equality comparison of unlifted pointers.
This would allow to subsume `sam...I don't see why we couldn't use `reallyUnsafePtrEquality#` on types of kind `UnliftedRep`. Currently, we have to throw in an additional `unsafeCoerce` to achieve equality comparison of unlifted pointers.
This would allow to subsume `sameMutableByteArray#` and the requested `sameByteArray#` (#9192) primitives. They are already lowered by the same Cmm `MachOp`, which is `MO_Eq`.⊥