foundation
foundation copied to clipboard
Published
20 hours ago •
haskell-foundation
haskell-foundation
Test failure involving Word8 with GHC 9.4.2 on aarch64-linux
Full test log below, possible GHC bug?
Running 1 test suites...
Test suite check-foundation: RUNNING...
Seed: 5807630893055952241
foundation
Numerical
Int
✓ Additive (301 tests)
Word64
✓ Additive (301 tests)
Number
Int
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Int8
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Int16
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Int32
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Int64
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Integer
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Word
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Word8
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✗ (x `div` y) * y + (x `mod` y) == x failed after 9 tests:
use param: --seed 5807630893055952241
parameter 1 : 231
parameter 2 : 230
Property `a == b' failed where:
a = 231 :: Word8
^^
b = 205 :: Word8
^^
✗ Divisible failed after 1 test
use param: --seed 5807630893055952241
✓ Precedence (800 tests)
Word16
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✗ (x `div` y) * y + (x `mod` y) == x failed after 4 tests:
use param: --seed 5807630893055952241
parameter 1 : 62158
parameter 2 : 37593
Property `a == b' failed where:
a = 62158 :: Word16
^^^^^
b = 34215 :: Word16
^^^^^
✗ Divisible failed after 1 test
use param: --seed 5807630893055952241
✓ Precedence (800 tests)
Word32
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Word64
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Word128
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
Word256
✓ Integral (100 tests)
✓ Property (400 tests)
✓ Additive (300 tests)
✓ Multiplicative (400 tests)
✓ Divisible (100 tests)
✓ Precedence (800 tests)
basement
✓ utf8 (100 tests)
Bits
✓ W32 (303 tests)
✓ W64 (303 tests)
✓ W128 (303 tests)
✓ W256 (303 tests)
String
reading
✓ integer (103 tests)
✓ floating-exact (7 tests)
✓ Double (107 tests)
✓ rational (1 test)
✓ conversion (2 tests)
DList a
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Bitmap
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array
Block
Block W8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block W128
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block W256
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block Word
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block I8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block I16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block I32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block I64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block Int
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block FP32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block FP64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block CChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block CUChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block BE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block BE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block BE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block LE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block LE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Block LE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed
Unboxed W8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W128
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W256
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed Word
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed Int
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed FP32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed FP64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed CChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed CUChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Boxed
Array(W8)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(W16)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(W32)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(W64)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(I8)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(I16)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(I32)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(I64)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(F32)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(F64)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(Int)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(Int,Int)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(Integer)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(CChar)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(CUChar)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(BE W16)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(BE W32)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(BE W64)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(LE W16)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(LE W32)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Array(LE W64)
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
ChunkedUArray
Unboxed
Unboxed W8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W128
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed W256
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed Word
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I8
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed I64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed Int
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed FP32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed FP64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed CChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed CUChar
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed BE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W16
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W32
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Unboxed LE-W64
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
String
UTF8
String
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
✓ Validation (200 tests)
✓ ModifiedUTF8 (4 tests)
✓ CaseMapping (110 tests)
ASCII
AsciiString
✓ equality (200 tests)
✓ ordering (100 tests)
✓ IsList (100 tests)
✓ Monoid (400 tests)
✓ Collection (801 tests)
Sequential
✓ isSuffixOf (300 tests)
✓ isPrefixOf (300 tests)
✓ isInfixOf (200 tests)
Storable
Storable
✓ Word8 (0 tests)
✓ Word16 (0 tests)
✓ Word32 (0 tests)
✓ Word64 (0 tests)
✓ Int8 (0 tests)
✓ Int16 (0 tests)
✓ Int32 (0 tests)
✓ Int64 (0 tests)
✓ Char (0 tests)
✓ Double (0 tests)
✓ Float (0 tests)
StorableFixed
✓ Word8 (200 tests)
✓ Word16 (200 tests)
✓ Word32 (200 tests)
✓ Word64 (200 tests)
✓ Int8 (200 tests)
✓ Int16 (200 tests)
✓ Int32 (200 tests)
✓ Int64 (200 tests)
✓ Char (200 tests)
✓ Double (200 tests)
✓ Float (200 tests)
Endianness
✓ Word16 (200 tests)
✓ Word32 (200 tests)
✓ Word64 (200 tests)
IPv4
✓ equality (200 tests)
✓ Storable (0 tests)
✓ StorableFixed (200 tests)
IPv6
✓ equality (200 tests)
✓ Storable (0 tests)
✓ StorableFixed (200 tests)
✓ parse (8 tests)
String
Base64
✓ toBase64 (205 tests)
✓ toBase64OpenBSD (200 tests)
✓ toBase64URL (405 tests)
✓ hexadecimal (100 tests)
✓ UUID (102 tests)
✓ random (6 tests)
✓ Conduit (3 tests)
BlockN
Multiple n
✓ n = CountOf 0 (4 tests)
✓ n = CountOf 1 (4 tests)
✓ n = CountOf 2 (4 tests)
✓ n = CountOf 3 (4 tests)
✓ n = CountOf 4 (4 tests)
✓ n = CountOf 5 (4 tests)
✓ n = CountOf 6 (4 tests)
✓ n = CountOf 7 (4 tests)
✓ n = CountOf 8 (4 tests)
✓ n = CountOf 33 (4 tests)
✓ n = CountOf 42 (4 tests)
Format
CSV
✓ field unit tests (9 tests)
✓ row unit tests (6 tests)
✓ row unit tests (6 tests)
✓ record . toRow == id (400 tests)
Failed 2 out of 6121
Test suite check-foundation: FAIL
Test suite logged to: dist/test/foundation-0.0.29-check-foundation.log
0 of 1 test suites (0 of 1 test cases) passed.
I'm unable to replicate this on current master
EDIT: forgive me, didn't recognize aarch64 as not being what I was running 😅
This is definitely an aarch64 bug; I reproduced it on my aarch64-darwin M1 mac using ghc942 from nixpkgs.
https://gist.github.com/20536c5a14a5194200e61dc965d851a0
I've filed it upstream and sent it to some compiler folks Mercury is consulting with. This is what I would consider an extremely bad compiler bug. https://gitlab.haskell.org/ghc/ghc/-/issues/22282