Update second test output for GHC!13301

Change upstream to GitHub

Prepare release v0.5.8.0

Building ci

meooow authored 8 months ago and Lei Zhu committed 7 months ago

At the moment it is quite difficult to perform some folds on some
arrays.

* In general, arrays can be folded over by folding over the range of
  indices and then indexing into the array. This is a little cumbersome,
  and also inefficient when folding right-to-left because Ix does not
  offer reversed range generation.
* Alternately, Array has a Foldable instance which works great, but
  UArray cannot be Foldable. Folds on UArray can instead be done via
  elems. Due to list fusion, this works out well for some folds (foldr,
  foldl'), but not others (foldr').
* For mutable arrays, there are no alternate ways to fold.

This commit adds some commonly used folds for arrays and mutable arrays
to improve this situation.

https://github.com/haskell/core-libraries-committee/issues/231

Also swap Trustworthy for Safe to placate -Wtrustworthy-safe
in ghc tests.

meooow authored 1 year ago and Lei Zhu committed 1 year ago

* Use unsafeNewArray_ instead of newAray_. We know we will fill the
  array, and newArray_ wastefully initializes it beforehand.
* Avoid safeIndexing the range when writing the elements. range
  generates the elements in the required order, so we can simply use an
  Int counter.

GHCJS uses the same representation for Addr# and StablePtr#, but not for
Int#.

In old GHC:

    I8# :: Int# -> Int8
    indexInt8OffAddr# :: Addr# -> Int# -> Int#
    ...

In upcoming GHC 9.2:

    I8# :: Int8# -> Int8
    indexInt8OffAddr# :: Addr# -> Int# -> Int8#
    ...

Both of those work with the last array release, where the only
requirement is merely that the constructor and primops agree, i.e.:

    exists alpha.
    I8# :: alpha -> Int8
    indexInt8OffAddr# :: Addr# -> Int# -> alpha

In current GHC HEAD, we had

    I8# :: Int8# -> Int8
    indexInt8OffAddr# :: Addr# -> Int# -> Int#

and it was only because `Int8# /= Int#` that we needed the commit being
reverted. we are about to fix the primops to match the constructors in
accordance with the final 9.2 design, and so we don't need that commit
anymore.

This reverts commit c7a696e3.