diff options
author | sheaf <sam.derbyshire@gmail.com> | 2023-02-21 12:12:15 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-21 18:36:35 -0500 |
commit | f70a0239490ebea25e50c61c01f945d8df41e92f (patch) | |
tree | a133d1f1c338239261859e8f1048735e2dba5a73 /docs | |
parent | 172ff88fcac864a029d1cf77fbbe04c7a969d70d (diff) | |
download | haskell-f70a0239490ebea25e50c61c01f945d8df41e92f.tar.gz |
ghc-prim: levity-polymorphic array equality ops
This patch changes the pointer-equality comparison operations in
GHC.Prim.PtrEq to work with arrays of unlifted values, e.g.
sameArray# :: forall {l} (a :: TYPE (BoxedRep l)). Array# a -> Array# a -> Int#
Fixes #22976
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/9.8.1-notes.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/9.8.1-notes.rst b/docs/users_guide/9.8.1-notes.rst index 503105472e..ad6f6f3709 100644 --- a/docs/users_guide/9.8.1-notes.rst +++ b/docs/users_guide/9.8.1-notes.rst @@ -44,6 +44,17 @@ Runtime system ``ghc-prim`` library ~~~~~~~~~~~~~~~~~~~~ +- Primitive pointer comparison functions are now levity-polymorphic, e.g. :: + + sameArray# :: forall {l} (a :: TYPE (BoxedRep l)). Array# a -> Array# a -> Int# + + This change affects the following functions: + + - ``sameArray#``, ``sameMutableArray#``, + - ``sameSmallArray#``, ``sameSmallMutableArray#``, + - ``sameMutVar#``, ``sameTVar#``, ``sameMVar#`` + - ``sameIOPort#``, ``eqStableName#``. + ``ghc`` library ~~~~~~~~~~~~~~~ |