Hannes Siebenhandl pushed to branch wip/fendor/remove-deprecated-unstable-heap-representation-details at Glasgow Haskell Compiler / GHC
Commits:
-
7b4788c6
by fendor at 2025-07-23T18:21:57+02:00
5 changed files:
- libraries/base/src/GHC/Exts.hs
- testsuite/tests/interface-stability/base-exports.stdout
- testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
- testsuite/tests/interface-stability/base-exports.stdout-mingw32
- testsuite/tests/interface-stability/base-exports.stdout-ws-32
Changes:
| ... | ... | @@ -26,12 +26,6 @@ module GHC.Exts |
| 26 | 26 | -- ** Legacy interface for arrays of arrays
|
| 27 | 27 | module GHC.Internal.ArrayArray,
|
| 28 | 28 | -- * Primitive operations
|
| 29 | - {-# DEPRECATED ["The BCO, mkApUpd0#, and newBCO# re-exports from GHC.Exts have been deprecated and will be removed in 9.14", "These symbols should be imported from ghc-internal instead if needed."] #-}
|
|
| 30 | - Prim.BCO,
|
|
| 31 | - {-# DEPRECATED ["The BCO, mkApUpd0#, and newBCO# re-exports from GHC.Exts have been deprecated and will be removed in 9.14", "These symbols should be imported from ghc-internal instead if needed."] #-}
|
|
| 32 | - Prim.mkApUpd0#,
|
|
| 33 | - {-# DEPRECATED ["The BCO, mkApUpd0#, and newBCO# re-exports from GHC.Exts have been deprecated and will be removed in 9.14", "These symbols should be imported from ghc-internal instead if needed."] #-}
|
|
| 34 | - Prim.newBCO#,
|
|
| 35 | 29 | module GHC.Prim,
|
| 36 | 30 | module GHC.Prim.Ext,
|
| 37 | 31 | -- ** Running 'RealWorld' state thread
|
| ... | ... | @@ -131,9 +125,6 @@ import GHC.Prim hiding |
| 131 | 125 | , whereFrom#
|
| 132 | 126 | , isByteArrayWeaklyPinned#, isMutableByteArrayWeaklyPinned#
|
| 133 | 127 | |
| 134 | - -- deprecated
|
|
| 135 | - , BCO, mkApUpd0#, newBCO#
|
|
| 136 | - |
|
| 137 | 128 | -- Don't re-export vector FMA instructions
|
| 138 | 129 | , fmaddFloatX4#
|
| 139 | 130 | , fmsubFloatX4#
|
| ... | ... | @@ -256,8 +247,6 @@ import GHC.Prim hiding |
| 256 | 247 | , minWord8X32#
|
| 257 | 248 | , minWord8X64#
|
| 258 | 249 | )
|
| 259 | -import qualified GHC.Prim as Prim
|
|
| 260 | - ( BCO, mkApUpd0#, newBCO# )
|
|
| 261 | 250 | |
| 262 | 251 | import GHC.Prim.Ext
|
| 263 | 252 |
| ... | ... | @@ -3221,8 +3221,6 @@ module GHC.Base where |
| 3221 | 3221 | {-# MINIMAL pure, ((<*>) | liftA2) #-}
|
| 3222 | 3222 | type Array# :: forall {l :: Levity}. TYPE (BoxedRep l) -> UnliftedType
|
| 3223 | 3223 | data Array# a
|
| 3224 | - type BCO :: *
|
|
| 3225 | - data BCO
|
|
| 3226 | 3224 | type Bool :: *
|
| 3227 | 3225 | data Bool = False | True
|
| 3228 | 3226 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -4115,7 +4113,6 @@ module GHC.Base where |
| 4115 | 4113 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 4116 | 4114 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 4117 | 4115 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 4118 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 4119 | 4116 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4120 | 4117 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4121 | 4118 | modInt :: Int -> Int -> Int
|
| ... | ... | @@ -4174,7 +4171,6 @@ module GHC.Base where |
| 4174 | 4171 | negateInt8X64# :: Int8X64# -> Int8X64#
|
| 4175 | 4172 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4176 | 4173 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 4177 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 4178 | 4174 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4179 | 4175 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 4180 | 4176 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -5398,8 +5394,6 @@ module GHC.Exts where |
| 5398 | 5394 | data Array# a
|
| 5399 | 5395 | type ArrayArray# :: UnliftedType
|
| 5400 | 5396 | newtype ArrayArray# = ArrayArray# (Array# ByteArray#)
|
| 5401 | - type BCO :: *
|
|
| 5402 | - data BCO
|
|
| 5403 | 5397 | type Bool :: *
|
| 5404 | 5398 | data Bool = False | True
|
| 5405 | 5399 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -6210,7 +6204,6 @@ module GHC.Exts where |
| 6210 | 6204 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 6211 | 6205 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 6212 | 6206 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 6213 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 6214 | 6207 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6215 | 6208 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6216 | 6209 | mulIntMayOflo# :: Int# -> Int# -> Int#
|
| ... | ... | @@ -6262,7 +6255,6 @@ module GHC.Exts where |
| 6262 | 6255 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6263 | 6256 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 6264 | 6257 | newArrayArray# :: forall s. Int# -> State# s -> (# State# s, MutableArrayArray# s #)
|
| 6265 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 6266 | 6258 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6267 | 6259 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 6268 | 6260 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -3221,8 +3221,6 @@ module GHC.Base where |
| 3221 | 3221 | {-# MINIMAL pure, ((<*>) | liftA2) #-}
|
| 3222 | 3222 | type Array# :: forall {l :: Levity}. TYPE (BoxedRep l) -> UnliftedType
|
| 3223 | 3223 | data Array# a
|
| 3224 | - type BCO :: *
|
|
| 3225 | - data BCO
|
|
| 3226 | 3224 | type Bool :: *
|
| 3227 | 3225 | data Bool = False | True
|
| 3228 | 3226 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -4115,7 +4113,6 @@ module GHC.Base where |
| 4115 | 4113 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 4116 | 4114 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 4117 | 4115 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 4118 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 4119 | 4116 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4120 | 4117 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4121 | 4118 | modInt :: Int -> Int -> Int
|
| ... | ... | @@ -4174,7 +4171,6 @@ module GHC.Base where |
| 4174 | 4171 | negateInt8X64# :: Int8X64# -> Int8X64#
|
| 4175 | 4172 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4176 | 4173 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 4177 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 4178 | 4174 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4179 | 4175 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 4180 | 4176 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -5370,8 +5366,6 @@ module GHC.Exts where |
| 5370 | 5366 | data Array# a
|
| 5371 | 5367 | type ArrayArray# :: UnliftedType
|
| 5372 | 5368 | newtype ArrayArray# = ArrayArray# (Array# ByteArray#)
|
| 5373 | - type BCO :: *
|
|
| 5374 | - data BCO
|
|
| 5375 | 5369 | type Bool :: *
|
| 5376 | 5370 | data Bool = False | True
|
| 5377 | 5371 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -6182,7 +6176,6 @@ module GHC.Exts where |
| 6182 | 6176 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 6183 | 6177 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 6184 | 6178 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 6185 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 6186 | 6179 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6187 | 6180 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6188 | 6181 | mulIntMayOflo# :: Int# -> Int# -> Int#
|
| ... | ... | @@ -6234,7 +6227,6 @@ module GHC.Exts where |
| 6234 | 6227 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6235 | 6228 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 6236 | 6229 | newArrayArray# :: forall s. Int# -> State# s -> (# State# s, MutableArrayArray# s #)
|
| 6237 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 6238 | 6230 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6239 | 6231 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 6240 | 6232 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -3221,8 +3221,6 @@ module GHC.Base where |
| 3221 | 3221 | {-# MINIMAL pure, ((<*>) | liftA2) #-}
|
| 3222 | 3222 | type Array# :: forall {l :: Levity}. TYPE (BoxedRep l) -> UnliftedType
|
| 3223 | 3223 | data Array# a
|
| 3224 | - type BCO :: *
|
|
| 3225 | - data BCO
|
|
| 3226 | 3224 | type Bool :: *
|
| 3227 | 3225 | data Bool = False | True
|
| 3228 | 3226 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -4118,7 +4116,6 @@ module GHC.Base where |
| 4118 | 4116 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 4119 | 4117 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 4120 | 4118 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 4121 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 4122 | 4119 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4123 | 4120 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4124 | 4121 | modInt :: Int -> Int -> Int
|
| ... | ... | @@ -4177,7 +4174,6 @@ module GHC.Base where |
| 4177 | 4174 | negateInt8X64# :: Int8X64# -> Int8X64#
|
| 4178 | 4175 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4179 | 4176 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 4180 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 4181 | 4177 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4182 | 4178 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 4183 | 4179 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -5538,8 +5534,6 @@ module GHC.Exts where |
| 5538 | 5534 | data Array# a
|
| 5539 | 5535 | type ArrayArray# :: UnliftedType
|
| 5540 | 5536 | newtype ArrayArray# = ArrayArray# (Array# ByteArray#)
|
| 5541 | - type BCO :: *
|
|
| 5542 | - data BCO
|
|
| 5543 | 5537 | type Bool :: *
|
| 5544 | 5538 | data Bool = False | True
|
| 5545 | 5539 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -6353,7 +6347,6 @@ module GHC.Exts where |
| 6353 | 6347 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 6354 | 6348 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 6355 | 6349 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 6356 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 6357 | 6350 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6358 | 6351 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6359 | 6352 | mulIntMayOflo# :: Int# -> Int# -> Int#
|
| ... | ... | @@ -6405,7 +6398,6 @@ module GHC.Exts where |
| 6405 | 6398 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6406 | 6399 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 6407 | 6400 | newArrayArray# :: forall s. Int# -> State# s -> (# State# s, MutableArrayArray# s #)
|
| 6408 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 6409 | 6401 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6410 | 6402 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 6411 | 6403 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -3221,8 +3221,6 @@ module GHC.Base where |
| 3221 | 3221 | {-# MINIMAL pure, ((<*>) | liftA2) #-}
|
| 3222 | 3222 | type Array# :: forall {l :: Levity}. TYPE (BoxedRep l) -> UnliftedType
|
| 3223 | 3223 | data Array# a
|
| 3224 | - type BCO :: *
|
|
| 3225 | - data BCO
|
|
| 3226 | 3224 | type Bool :: *
|
| 3227 | 3225 | data Bool = False | True
|
| 3228 | 3226 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -4115,7 +4113,6 @@ module GHC.Base where |
| 4115 | 4113 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 4116 | 4114 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 4117 | 4115 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 4118 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 4119 | 4116 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4120 | 4117 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 4121 | 4118 | modInt :: Int -> Int -> Int
|
| ... | ... | @@ -4174,7 +4171,6 @@ module GHC.Base where |
| 4174 | 4171 | negateInt8X64# :: Int8X64# -> Int8X64#
|
| 4175 | 4172 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4176 | 4173 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 4177 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 4178 | 4174 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 4179 | 4175 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 4180 | 4176 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|
| ... | ... | @@ -5398,8 +5394,6 @@ module GHC.Exts where |
| 5398 | 5394 | data Array# a
|
| 5399 | 5395 | type ArrayArray# :: UnliftedType
|
| 5400 | 5396 | newtype ArrayArray# = ArrayArray# (Array# ByteArray#)
|
| 5401 | - type BCO :: *
|
|
| 5402 | - data BCO
|
|
| 5403 | 5397 | type Bool :: *
|
| 5404 | 5398 | data Bool = False | True
|
| 5405 | 5399 | type ByteArray# :: UnliftedType
|
| ... | ... | @@ -6210,7 +6204,6 @@ module GHC.Exts where |
| 6210 | 6204 | minusWord8X16# :: Word8X16# -> Word8X16# -> Word8X16#
|
| 6211 | 6205 | minusWord8X32# :: Word8X32# -> Word8X32# -> Word8X32#
|
| 6212 | 6206 | minusWord8X64# :: Word8X64# -> Word8X64# -> Word8X64#
|
| 6213 | - mkApUpd0# :: forall a. BCO -> (# a #)
|
|
| 6214 | 6207 | mkWeak# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)) c. a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6215 | 6208 | mkWeakNoFinalizer# :: forall {l :: Levity} {k :: Levity} (a :: TYPE (BoxedRep l)) (b :: TYPE (BoxedRep k)). a -> b -> State# RealWorld -> (# State# RealWorld, Weak# b #)
|
| 6216 | 6209 | mulIntMayOflo# :: Int# -> Int# -> Int#
|
| ... | ... | @@ -6262,7 +6255,6 @@ module GHC.Exts where |
| 6262 | 6255 | newAlignedPinnedByteArray# :: forall d. Int# -> Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6263 | 6256 | newArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Int# -> a -> State# d -> (# State# d, MutableArray# d a #)
|
| 6264 | 6257 | newArrayArray# :: forall s. Int# -> State# s -> (# State# s, MutableArrayArray# s #)
|
| 6265 | - newBCO# :: forall a d. ByteArray# -> ByteArray# -> Array# a -> Int# -> ByteArray# -> State# d -> (# State# d, BCO #)
|
|
| 6266 | 6258 | newByteArray# :: forall d. Int# -> State# d -> (# State# d, MutableByteArray# d #)
|
| 6267 | 6259 | newIOPort# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, IOPort# d a #)
|
| 6268 | 6260 | newMVar# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). State# d -> (# State# d, MVar# d a #)
|