ghc-prim

0.6.1

• Shipped with GHC 8.10.1

• Add primop for shrinking SmallMutableArray# to GHC.Prim:

    shrinkSmallMutableArray# :: SmallMutableArray# s a -> Int# -> State# s -> State# s
  

  Note that resizeSmallMutableArray# is not included as as primitive. It has been implemented in library space in GHC.Exts. See the release notes of base.

• Added to GHC.Prim:

    closureSize# :: a -> Int#
  

• Added to GHC.Prim:

    bitReverse# :: Word# -> Word#
    bitReverse8# :: Word# -> Word#
    bitReverse16# :: Word# -> Word#
    bitReverse32# :: Word# -> Word#
    bitReverse64# :: Word# -> Word#
  

  bitReverse# is a primop that, for a Word of 8, 16, 32 or 64 bits, reverses the order of its bits e.g. 0b110001 becomes 0b100011. These primitives use optimized machine instructions when available.

0.6.0

• Shipped with GHC 8.8.1

• Added to GHC.Prim:

    traceBinaryEvent# :: Addr# -> Int# -> State# s -> State# s
  

0.5.3

• Shipped with GHC 8.6.1

• Added to GHC.Prim:

    addWordC# :: Word# -> Word# -> (# Word#, Int# #)
  

• unpackClosure# can now unpack any valid Haskell closure. Previously it returned empty pointer and non-pointer arrays for thunks.

• Add unaligned bytearray access primops (#4442)

     readWord8ArrayAsChar# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Char# #)
     readWord8ArrayAsAddr# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Addr# #)
     readWord8ArrayAsFloat# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Float# #)
     readWord8ArrayAsDouble# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Double# #)
     readWord8ArrayAsStablePtr# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, StablePtr# #)
     readWord8ArrayAsInt16# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16# #)
     readWord8ArrayAsInt32# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32# #)
     readWord8ArrayAsInt64# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64# #)
     readWord8ArrayAsInt# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int# #)
  
     readWord8ArrayAsWord16# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16# #)
     readWord8ArrayAsWord32# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32# #)
     readWord8ArrayAsWord64# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64# #)
     readWord8ArrayAsWord# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word# #)
  
     writeWord8ArrayAsChar# :: MutableByteArray# s -> Int# -> Char# -> State# s -> State# s
     writeWord8ArrayAsAddr# :: MutableByteArray# s -> Int# -> Addr# -> State# s -> State# s
     writeWord8ArrayAsFloat# :: MutableByteArray# s -> Int# -> Float# -> State# s -> State# s
     writeWord8ArrayAsDouble# :: MutableByteArray# s -> Int# -> Double# -> State# s -> State# s
     writeWord8ArrayAsStablePtr# :: MutableByteArray# s -> Int# -> StablePtr# -> State# s -> State# s
  
     writeWord8ArrayAsInt16# :: MutableByteArray# s -> Int# -> Int16# -> State# s -> State# s
     writeWord8ArrayAsInt32# :: MutableByteArray# s -> Int# -> Int32# -> State# s -> State# s
     writeWord8ArrayAsInt64# :: MutableByteArray# s -> Int# -> Int64# -> State# s -> State# s
     writeWord8ArrayAsInt# :: MutableByteArray# s -> Int# -> Int# -> State# s -> State# s
  
     writeWord8ArrayAsWord16# :: MutableByteArray# s -> Int# -> Word16# -> State# s -> State# s
     writeWord8ArrayAsWord32# :: MutableByteArray# s -> Int# -> Word32# -> State# s -> State# s
     writeWord8ArrayAsWord64# :: MutableByteArray# s -> Int# -> Word64# -> State# s -> State# s
     writeWord8ArrayAsWord# :: MutableByteArray# s -> Int# -> Word# -> State# s -> State# s
  

0.5.2.0

• Shipped with GHC 8.4.1

• Added to GHC.Prim:

    compareByteArrays# :: ByteArray# -> Int# -> ByteArray# -> Int# -> Int# -> Int#
  

• Don’t allocate a thunk for each unpacked UTF-8 character in unpackCStringUtf8#

0.5.1.1 November 2017

• Shipped with GHC 8.2.2

• Changed strictness properties of catchRetry# (#14171)

0.5.1.0 July 2017

• Shipped with GHC 8.2.1

• Added to GHC.Prim:

    fabsDouble# :: Double# -> Double#
    fabsFloat# :: Float# -> Float#
    isByteArrayPinned# :: ByteArray# -> Int#
    isMutableByteArrayPinned# :: MutableByteArray# s -> Int#
    anyToAddr# :: a -> State# (RealWorld) -> (# State# (RealWorld),Addr# #)
  

• New primitives for compact regions in GHC.Prim:

    Compact#
    compactNew#
    compactResize#
    compactContains#
    compactContainsAny#
    compactGetFirstBlock#
    compactGetNextBlock#
    compactAllocateBlock#
    compactFixupPointers#
    compactAdd#
    compactAddWithSharing#
    compactSize#
  

• Generalised noDuplicate# from

    noDuplicate# :: State# (RealWorld) -> State# (RealWorld)
  

  to

    noDuplicate# :: State# s -> State# s
  

0.5.0.0

• Shipped with GHC 8.0.1

• GHC.Classes: new class IP (a :: Symbol) b | a -> b

• GHC.Prim: changed type signatures from

    check# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, () #)
    finalizeWeak# :: Weak# a -> State# RealWorld -> (# State# RealWorld, Int#, State# RealWorld -> (# State# RealWorld, () #) #)
    mkWeak# :: a -> b -> c -> State# RealWorld -> (# State# RealWorld, Weak# b #)
  

  to

    check# :: (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> State# RealWorld
    finalizeWeak# :: Weak# a -> State# RealWorld -> (# State# RealWorld, Int#, State# RealWorld -> (# State# RealWorld, b #) #)
    mkWeak# :: a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) -> State# RealWorld -> (# State# RealWorld, Weak# b #)
  

• Removed from GHC.Prim:

    parAt# :: b -> a -> Int# -> Int# -> Int# -> Int# -> c -> Int#
    parAtAbs# :: a -> Int# -> Int# -> Int# -> Int# -> Int# -> b -> Int#
    parAtForNow# :: b -> a -> Int# -> Int# -> Int# -> Int# -> c -> Int#
    parAtRel# :: a -> Int# -> Int# -> Int# -> Int# -> Int# -> b -> Int#
    parGlobal# :: a -> Int# -> Int# -> Int# -> Int# -> b -> Int#
    parLocal# :: a -> Int# -> Int# -> Int# -> Int# -> b -> Int#
  

• Added to GHC.Prim:

    getSizeofMutableByteArray# :: MutableByteArray# d -> State# d -> (# State# d, Int# #)
    subWordC# :: Word# -> Word# -> (# Word#, Int# #)
    runRW# :: (State# RealWorld -> (# State# RealWorld, o #)) -> (# State# RealWorld, o #)
  

• Added to GHC.Types:

    data Module = Module TrName TrName
    data Nat
    data Symbol
    data TrName = TrNameS Addr# | TrNameD [Char]
    data TyCon = TyCon Word# Word# Module TrName