==> Cloning haskell-ghc-typelits-natnormalise ... Cloning into 'haskell-ghc-typelits-natnormalise'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring haskell-ghc-typelits-natnormalise :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 134k 100 134k 0 0 721k 0 --:--:-- --:--:-- --:--:-- 722k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8559k 100 8559k 0 0 20.0M 0 --:--:-- --:--:-- --:--:-- 20.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 56 142k 56 81566 0 0 231k 0 --:--:-- --:--:-- --:--:-- 231k 100 142k 100 142k 0 0 412k 0 --:--:-- --:--:-- --:--:-- 411k :: Starting full system upgrade... there is nothing to do ==> Making package: haskell-ghc-typelits-natnormalise 0.7.8-4 (Thu Apr 10 07:14:46 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (4) numactl-2.0.18-1 ghc-9.2.8-1 ghc-libs-9.2.8-1 haskell-ghc-tcplugins-extra-0.4.5-2 Total Download Size: 50.04 MiB Total Installed Size: 356.23 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 83803 100 83803 0 0 12.7M 0 --:--:-- --:--:-- --:--:-- 13.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 25 16.1M 25 4259k 0 0 82.3M 0 --:--:-- --:--:-- --:--:-- 81.5M 100 16.1M 100 16.1M 0 0 116M 0 --:--:-- --:--:-- --:--:-- 116M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 33.7M 100 33.7M 0 0 105M 0 --:--:-- --:--:-- --:--:-- 106M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 72444 100 72444 0 0 6317k 0 --:--:-- --:--:-- --:--:-- 6431k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing numactl... installing ghc-libs... installing ghc... installing haskell-ghc-tcplugins-extra... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (9) haskell-ansi-terminal-0.11.4-64 haskell-ansi-wl-pprint-0.6.9-416 haskell-call-stack-0.4.0-182 haskell-colour-2.3.6-208 haskell-optparse-applicative-0.17.1.0-27 haskell-tagged-0.8.8-2 haskell-transformers-compat-0.7.2-2 haskell-tasty-1.4.3-70 haskell-tasty-hunit-0.10.1-34 Total Download Size: 0.99 MiB Total Installed Size: 5.31 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 142k 100 142k 0 0 20.4M 0 --:--:-- --:--:-- --:--:-- 23.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 113k 100 113k 0 0 23.7M 0 --:--:-- --:--:-- --:--:-- 27.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 52775 100 52775 0 0 2834k 0 --:--:-- --:--:-- --:--:-- 2712k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 109k 100 109k 0 0 16.4M 0 --:--:-- --:--:-- --:--:-- 17.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 243k 100 243k 0 0 32.0M 0 --:--:-- --:--:-- --:--:-- 34.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 55312 100 55312 0 0 9293k 0 --:--:-- --:--:-- --:--:-- 10.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 254k 100 254k 0 0 31.9M 0 --:--:-- --:--:-- --:--:-- 35.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 17193 100 17193 0 0 5670k 0 --:--:-- --:--:-- --:--:-- 8395k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32314 100 32314 0 0 5481k 0 --:--:-- --:--:-- --:--:-- 6311k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-ansi-wl-pprint... installing haskell-transformers-compat... installing haskell-optparse-applicative... installing haskell-tagged... installing haskell-tasty... installing haskell-call-stack... installing haskell-tasty-hunit... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Registering Haskell modules... ==> Retrieving sources... -> Downloading ghc-typelits-natnormalise-0.7.8.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 33207 100 33207 0 0 820k 0 --:--:-- --:--:-- --:--:-- 820k ==> WARNING: Skipping verification of source file PGP signatures. ==> Validating source files with sha512sums... ghc-typelits-natnormalise-0.7.8.tar.gz ... Passed ==> Extracting sources... -> Extracting ghc-typelits-natnormalise-0.7.8.tar.gz with bsdtar ==> Starting build()... Configuring ghc-typelits-natnormalise-0.7.8... Preprocessing library for ghc-typelits-natnormalise-0.7.8.. Building library for ghc-typelits-natnormalise-0.7.8.. [1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, dist/build/GHC/TypeLits/Normalise/SOP.dyn_o ) [2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, dist/build/GHC/TypeLits/Normalise/Unify.dyn_o ) [3 of 3] Compiling GHC.TypeLits.Normalise ( src-pre-ghc-9.4/GHC/TypeLits/Normalise.hs, dist/build/GHC/TypeLits/Normalise.dyn_o ) Preprocessing test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.8.. Building test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.8.. [1 of 2] Compiling ErrorTests ( tests/ErrorTests.hs, dist/build/unit-tests/unit-tests-tmp/ErrorTests.dyn_o ) tests/ErrorTests.hs:32:14: warning: [-Wdeferred-type-errors] * Couldn't match type: x + 1 with: 2 + x Expected: Proxy (x + 1) -> Proxy (2 + x) Actual: Proxy (x + 1) -> Proxy (x + 1) NB: `+' is a non-injective type family * In the expression: id In an equation for `testProxy1': testProxy1 = id * Relevant bindings include testProxy1 :: Proxy (x + 1) -> Proxy (2 + x) (bound at tests/ErrorTests.hs:32:1) | 32 | testProxy1 = id | ^^ tests/ErrorTests.hs:50:14: warning: [-Wdeferred-type-errors] * Couldn't match type: 2 + x with: x + 3 Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) Actual: Proxy (2 + x) -> Proxy (2 + x) NB: `+' is a non-injective type family * In the expression: id In an equation for `testProxy2': testProxy2 = id * Relevant bindings include testProxy2 :: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) (bound at tests/ErrorTests.hs:50:1) | 50 | testProxy2 = id | ^^ tests/ErrorTests.hs:67:14: warning: [-Wdeferred-type-errors] * Couldn't match type `(x0 + x0) + x0' with `8' Expected: Proxy 8 -> () Actual: Proxy ((x0 + x0) + x0) -> () The type variable `x0' is ambiguous * In the expression: proxyFun3 In an equation for `testProxy3': testProxy3 = proxyFun3 | 67 | testProxy3 = proxyFun3 | ^^^^^^^^^ tests/ErrorTests.hs:84:14: warning: [-Wdeferred-type-errors] * Couldn't match type `(2 * y0) + 4' with `2' Expected: Proxy 2 -> () Actual: Proxy ((2 * y0) + 4) -> () The type variable `y0' is ambiguous * In the expression: proxyFun4 In an equation for `testProxy4': testProxy4 = proxyFun4 | 84 | testProxy4 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:98:14: warning: [-Wdeferred-type-errors] * Couldn't match type `(2 * y1) + 4' with `7' Expected: Proxy 7 -> () Actual: Proxy ((2 * y1) + 4) -> () The type variable `y1' is ambiguous * In the expression: proxyFun4 In an equation for `testProxy5': testProxy5 = proxyFun4 | 98 | testProxy5 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:115:14: warning: [-Wdeferred-type-errors] * Couldn't match type `2 ^ k0' with `7' Expected: Proxy 7 Actual: Proxy (2 ^ k0) The type variable `k0' is ambiguous * In the expression: proxyFun6 (Proxy :: Proxy 7) In an equation for `testProxy6': testProxy6 = proxyFun6 (Proxy :: Proxy 7) | 115 | testProxy6 = proxyFun6 (Proxy :: Proxy 7) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:136:14: warning: [-Wdeferred-type-errors] * Couldn't match type `x' with `y + x' Expected: Proxy x -> Proxy (y + x) Actual: Proxy x -> Proxy x `x' is a rigid type variable bound by the type signature for: testProxy8 :: forall (x :: Natural) (y :: Natural). Proxy x -> Proxy (y + x) at tests/ErrorTests.hs:135:1-38 * In the expression: id In an equation for `testProxy8': testProxy8 = id * Relevant bindings include testProxy8 :: Proxy x -> Proxy (y + x) (bound at tests/ErrorTests.hs:136:1) | 136 | testProxy8 = id | ^^ tests/ErrorTests.hs:160:14: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat (a + 1) a) 'True 'True 'False' with 'True arising from a use of `proxyInEq' * In the expression: proxyInEq In an equation for `testProxy9': testProxy9 = proxyInEq * Relevant bindings include testProxy9 :: Proxy (a + 1) -> Proxy a -> () (bound at tests/ErrorTests.hs:160:1) | 160 | testProxy9 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:191:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat a (a + 2)) 'True 'True 'False' with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy10': testProxy10 = proxyInEq' * Relevant bindings include testProxy10 :: Proxy a -> Proxy (a + 2) -> () (bound at tests/ErrorTests.hs:191:1) | 191 | testProxy10 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:237:15: warning: [-Wdeferred-type-errors] * Couldn't match type 'True with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy11': testProxy11 = proxyInEq' | 237 | testProxy11 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:251:16: warning: [-Wdeferred-type-errors] * Couldn't match type: a0 + b0 with: a + b Expected: Proxy (a + b) -> Proxy (a + c) -> () Actual: Proxy (a0 + b0) -> Proxy (a0 + c0) -> () NB: `+' is a non-injective type family The type variables `a0', `b0' are ambiguous * In the ambiguity check for `testProxy12' To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | 251 | testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:252:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat (a + b) (a + c)) 'True 'True 'False' with 'True arising from a use of `proxyInEq' * In the expression: proxyInEq In an equation for `testProxy12': testProxy12 = proxyInEq * Relevant bindings include testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () (bound at tests/ErrorTests.hs:252:1) | 252 | testProxy12 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:283:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat (4 * a) (2 * a)) 'True 'True 'False' with 'True arising from a use of `proxyInEq' * In the expression: proxyInEq In an equation for `testProxy13': testProxy13 = proxyInEq * Relevant bindings include testProxy13 :: Proxy (4 * a) -> Proxy (2 * a) -> () (bound at tests/ErrorTests.hs:283:1) | 283 | testProxy13 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:314:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat (2 * a) (4 * a)) 'True 'True 'False' with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy14': testProxy14 = proxyInEq' * Relevant bindings include testProxy14 :: Proxy (2 * a) -> Proxy (4 * a) -> () (bound at tests/ErrorTests.hs:314:1) | 314 | testProxy14 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:363:15: warning: [-Wdeferred-type-errors] * Could not deduce: (n + d) ~ n from the context: (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:362:1-79 Expected: Proxy n -> Proxy (n + d) Actual: Proxy n -> Proxy n `n' is a rigid type variable bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:362:1-79 * In the expression: id In an equation for `testProxy15': testProxy15 = id * Relevant bindings include testProxy15 :: Proxy n -> Proxy (n + d) (bound at tests/ErrorTests.hs:363:1) | 363 | testProxy15 = id | ^^ tests/ErrorTests.hs:382:8: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat 1 n) 'True 'True 'False' with 'True Expected: Fin n Actual: Fin ((n - 1) + 1) * In the expression: FZ In a case alternative: 0 -> FZ In the expression: case n of 0 -> FZ x -> FS (test16 @(n - 1) (x - 1)) * Relevant bindings include test16 :: Integer -> Fin n (bound at tests/ErrorTests.hs:381:1) | 382 | 0 -> FZ | ^^ tests/ErrorTests.hs:419:16: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat 1 n) 'True 'True 'False' with 'True arising from a use of `show' * In the first argument of `const', namely `show' In the expression: const show In an equation for `test17': test17 = const show * Relevant bindings include test17 :: Proxy n -> Boo ((n - 1) + 1) -> String (bound at tests/ErrorTests.hs:419:1) | 419 | test17 = const show | ^^^^ tests/ErrorTests.hs:439:19: warning: [-Wdeferred-type-errors] * Could not deduce: Data.Type.Ord.OrdCond (CmpNat 1 (rp - m)) 'True 'True 'False ~ 'True arising from a use of `test19f' from the context: (1 <= m, m <= rp) bound by the type signature for: testProxy19 :: forall (m :: Natural) (rp :: Natural). (1 <= m, m <= rp) => Proxy m -> Proxy rp -> Proxy (rp - m) -> Proxy (rp - m) at tests/ErrorTests.hs:(434,1)-(438,19) * In the expression: test19f In an equation for `testProxy19': testProxy19 _ _ = test19f * Relevant bindings include testProxy19 :: Proxy m -> Proxy rp -> Proxy (rp - m) -> Proxy (rp - m) (bound at tests/ErrorTests.hs:439:1) | 439 | testProxy19 _ _ = test19f | ^^^^^^^ tests/ErrorTests.hs:454:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat 1 (m ^ 2)) 'True 'True 'False' with 'True arising from a use of `proxyInEq' * In the expression: proxyInEq In an equation for `testProxy20': testProxy20 = proxyInEq * Relevant bindings include testProxy20 :: Proxy 1 -> Proxy (m ^ 2) -> () (bound at tests/ErrorTests.hs:454:1) | 454 | testProxy20 = proxyInEq | ^^^^^^^^^ [2 of 2] Compiling Main ( tests/Tests.hs, dist/build/unit-tests/unit-tests-tmp/Main.dyn_o ) Linking dist/build/unit-tests/unit-tests ... Unregistering ghc-typelits-natnormalise-0.7.8... ==> Entering fakeroot environment... ==> Starting package()... Installing library in /tmp/archlinux-ci/haskell-ghc-typelits-natnormalise-archlinuxrb-build-UTPD6T3S/haskell-ghc-typelits-natnormalise/pkg/haskell-ghc-typelits-natnormalise/usr/lib/ghc-9.2.8/site-local/ghc-typelits-natnormalise-0.7.8 ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "haskell-ghc-typelits-natnormalise"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Creating package "haskell-ghc-typelits-natnormalise-debug"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: haskell-ghc-typelits-natnormalise 0.7.8-4 (Thu Apr 10 07:15:22 2025)