Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - ghc-typelits-knownnat-0.7.9 (lib:ghc-typelits-knownnat) (requires build) - ghc-typelits-extra-0.4.6 (first run) Starting ghc-typelits-knownnat-0.7.9 (all, legacy fallback) Building ghc-typelits-knownnat-0.7.9 (all, legacy fallback) Installing ghc-typelits-knownnat-0.7.9 (all, legacy fallback) Completed ghc-typelits-knownnat-0.7.9 (all, legacy fallback) Configuring ghc-typelits-extra-0.4.6... Preprocessing library for ghc-typelits-extra-0.4.6.. Building library for ghc-typelits-extra-0.4.6.. [1 of 4] Compiling GHC.TypeLits.Extra ( src/GHC/TypeLits/Extra.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra.dyn_o ) [2 of 4] Compiling GHC.TypeLits.Extra.Solver.Operations ( src/GHC/TypeLits/Extra/Solver/Operations.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver/Operations.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver/Operations.dyn_o ) [3 of 4] Compiling GHC.TypeLits.Extra.Solver.Unify ( src/GHC/TypeLits/Extra/Solver/Unify.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver/Unify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver/Unify.dyn_o ) [4 of 4] Compiling GHC.TypeLits.Extra.Solver ( src-pre-ghc-9.4/GHC/TypeLits/Extra/Solver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/GHC/TypeLits/Extra/Solver.dyn_o ) Preprocessing test suite 'test-ghc-typelits-extra' for ghc-typelits-extra-0.4.6.. Building test suite 'test-ghc-typelits-extra' for ghc-typelits-extra-0.4.6.. [1 of 2] Compiling ErrorTests ( tests-pre-ghc-9.4/ErrorTests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra-tmp/ErrorTests.o ) tests-pre-ghc-9.4/ErrorTests.hs:1:1: warning: [-Wdeferred-type-errors] Couldn't match type Data.Type.Ord.OrdCond (CmpNat (n + 2) (n + 1)) 'True 'True 'False with 'True Expected: Proxy ((n + 2) <=? Max (n + 1) 1) -> Proxy 'True Actual: Proxy 'True -> Proxy 'True | 1 | {-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies #-} | ^ tests-pre-ghc-9.4/ErrorTests.hs:1:1: warning: [-Wdeferred-type-errors] Couldn't match type: 24 + x with: x + 18 Expected: Proxy (LCM 6 8 + x) -> Proxy (x + LCM 6 9) Actual: Proxy (LCM 6 8 + x) -> Proxy (LCM 6 8 + x) NB: + is a non-injective type family | 1 | {-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies #-} | ^ tests-pre-ghc-9.4/ErrorTests.hs:1:1: warning: [-Wdeferred-type-errors] Couldn't match type: 3 + x with: x + 4 Expected: Proxy (CLog 3 10 + x) -> Proxy (x + CLog 2 9) Actual: Proxy (CLog 3 10 + x) -> Proxy (CLog 3 10 + x) NB: + is a non-injective type family | 1 | {-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies #-} | ^ tests-pre-ghc-9.4/ErrorTests.hs:1:1: warning: [-Wdeferred-type-errors] Couldn't match type: 2 + x with: x + 3 Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 6 9) Actual: Proxy (GCD 6 8 + x) -> Proxy (GCD 6 8 + x) NB: + is a non-injective type family | 1 | {-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies #-} | ^ tests-pre-ghc-9.4/ErrorTests.hs:17:13: warning: [-Wdeferred-type-errors] " Couldn't match type GCD 6 8 with 4 Expected: Proxy (GCD 6 8) -> Proxy 4 Actual: Proxy 4 -> Proxy 4 " In the expression: id In an equation for testFail1: testFail1 = id | 17 | testFail1 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:23:13: warning: [-Wdeferred-type-errors] " Couldn't match type CLog 3 10 with 2 Expected: Proxy (CLog 3 10) -> Proxy 2 Actual: Proxy 2 -> Proxy 2 " In the expression: id In an equation for testFail3: testFail3 = id | 23 | testFail3 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:29:13: warning: [-Wdeferred-type-errors] " Couldn't match type CLog 0 4 with 100 Expected: Proxy (CLog 0 4) -> Proxy 100 Actual: Proxy 100 -> Proxy 100 " In the expression: id In an equation for testFail5: testFail5 = id | 29 | testFail5 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:32:13: warning: [-Wdeferred-type-errors] " Couldn't match type CLog 1 4 with 100 Expected: Proxy (CLog 1 4) -> Proxy 100 Actual: Proxy 100 -> Proxy 100 " In the expression: id In an equation for testFail6: testFail6 = id | 32 | testFail6 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:35:13: warning: [-Wdeferred-type-errors] " Couldn't match type CLog 4 0 with 0 Expected: Proxy (CLog 4 0) -> Proxy 0 Actual: Proxy 0 -> Proxy 0 " In the expression: id In an equation for testFail7: testFail7 = id | 35 | testFail7 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:38:13: warning: [-Wdeferred-type-errors] " Couldn't match type y with CLog 1 1 Expected: Proxy (CLog 1 (1 ^ y)) -> Proxy y Actual: Proxy y -> Proxy y y is a rigid type variable bound by the type signature for: testFail8 :: forall (y :: Natural). Proxy (CLog 1 (1 ^ y)) -> Proxy y at tests-pre-ghc-9.4/ErrorTests.hs:37:1-44 " In the expression: id In an equation for testFail8: testFail8 = id " Relevant bindings include testFail8 :: Proxy (CLog 1 (1 ^ y)) -> Proxy y (bound at tests-pre-ghc-9.4/ErrorTests.hs:38:1) | 38 | testFail8 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:41:13: warning: [-Wdeferred-type-errors] " Couldn't match type y with CLog 0 (0 ^ y) Expected: Proxy (CLog 0 (0 ^ y)) -> Proxy y Actual: Proxy y -> Proxy y y is a rigid type variable bound by the type signature for: testFail9 :: forall (y :: Natural). Proxy (CLog 0 (0 ^ y)) -> Proxy y at tests-pre-ghc-9.4/ErrorTests.hs:40:1-44 " In the expression: id In an equation for testFail9: testFail9 = id " Relevant bindings include testFail9 :: Proxy (CLog 0 (0 ^ y)) -> Proxy y (bound at tests-pre-ghc-9.4/ErrorTests.hs:41:1) | 41 | testFail9 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:44:14: warning: [-Wdeferred-type-errors] Couldn't match type 'False with 'True arising from a use of natVal | 44 | testFail10 = natVal (Proxy :: Proxy (CLog 1 4)) | ^^^^^^ tests-pre-ghc-9.4/ErrorTests.hs:47:14: warning: [-Wdeferred-type-errors] Couldn't match type Data.Type.Ord.OrdCond (CmpNat (CLog 2 4) (CLog 4 4)) 'True 'True 'False with 'True arising from a use of natVal | 47 | testFail11 = natVal (Proxy :: Proxy ((CLog 4 4) - (CLog 2 4))) | ^^^^^^ tests-pre-ghc-9.4/ErrorTests.hs:50:14: warning: [-Wdeferred-type-errors] " Couldn't match type Div 4 0 with 4 Expected: Proxy (Div 4 0) -> Proxy 4 Actual: Proxy 4 -> Proxy 4 " In the expression: id In an equation for testFail12: testFail12 = id | 50 | testFail12 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:53:14: warning: [-Wdeferred-type-errors] " Couldn't match type Mod 4 0 with 4 Expected: Proxy (Mod 4 0) -> Proxy 4 Actual: Proxy 4 -> Proxy 4 " In the expression: id In an equation for testFail13: testFail13 = id | 53 | testFail13 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:56:14: warning: [-Wdeferred-type-errors] " Couldn't match type FLog 0 4 with 100 Expected: Proxy (FLog 0 4) -> Proxy 100 Actual: Proxy 100 -> Proxy 100 " In the expression: id In an equation for testFail14: testFail14 = id | 56 | testFail14 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:59:14: warning: [-Wdeferred-type-errors] " Couldn't match type FLog 1 4 with 100 Expected: Proxy (FLog 1 4) -> Proxy 100 Actual: Proxy 100 -> Proxy 100 " In the expression: id In an equation for testFail15: testFail15 = id | 59 | testFail15 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:62:14: warning: [-Wdeferred-type-errors] " Couldn't match type FLog 4 0 with 0 Expected: Proxy (FLog 4 0) -> Proxy 0 Actual: Proxy 0 -> Proxy 0 " In the expression: id In an equation for testFail16: testFail16 = id | 62 | testFail16 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:65:14: warning: [-Wdeferred-type-errors] " Couldn't match type LCM 6 8 with 48 Expected: Proxy (LCM 6 8) -> Proxy 48 Actual: Proxy 48 -> Proxy 48 " In the expression: id In an equation for testFail17: testFail17 = id | 65 | testFail17 = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:71:14: warning: [-Wdeferred-type-errors] Couldn't match type: FLog 3 0 with: CLog 3 0 arising from a use of natVal | 71 | testFail19 = natVal (Proxy :: Proxy (Log 3 0)) | ^^^^^^ tests-pre-ghc-9.4/ErrorTests.hs:74:14: warning: [-Wdeferred-type-errors] Couldn't match type: FLog 3 10 with: CLog 3 10 arising from a use of natVal | 74 | testFail20 = natVal (Proxy :: Proxy (Log 3 10)) | ^^^^^^ tests-pre-ghc-9.4/ErrorTests.hs:77:18: warning: [-Wdeferred-type-errors] " Couldn't match type a with Min a (a * b) Expected: Proxy (Min a (a * b)) -> Proxy a Actual: Proxy a -> Proxy a a is a rigid type variable bound by the type signature for: testFail21 :: forall (a :: Nat) (b :: Natural). Proxy a -> Proxy b -> Proxy (Min a (a * b)) -> Proxy a at tests-pre-ghc-9.4/ErrorTests.hs:76:1-66 " In the expression: id In an equation for testFail21: testFail21 _ _ = id " Relevant bindings include testFail21 :: Proxy a -> Proxy b -> Proxy (Min a (a * b)) -> Proxy a (bound at tests-pre-ghc-9.4/ErrorTests.hs:77:1) | 77 | testFail21 _ _ = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:80:18: warning: [-Wdeferred-type-errors] " Couldn't match type: Max a (a * b) with: a * b Expected: Proxy (Max a (a * b)) -> Proxy (a * b) Actual: Proxy (Max a (a * b)) -> Proxy (Max a (a * b)) " In the expression: id In an equation for testFail22: testFail22 _ _ = id " Relevant bindings include testFail22 :: Proxy a -> Proxy b -> Proxy (Max a (a * b)) -> Proxy (a * b) (bound at tests-pre-ghc-9.4/ErrorTests.hs:80:1) | 80 | testFail22 _ _ = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:86:14: warning: [-Wdeferred-type-errors] " Couldn't match type 'True with 'False arising from a use of testFail23' " In the expression: testFail23' (Proxy @18) (Proxy @3) In an equation for testFail23: testFail23 = testFail23' (Proxy @18) (Proxy @3) | 86 | testFail23 = testFail23' (Proxy @18) (Proxy @3) | ^^^^^^^^^^^ tests-pre-ghc-9.4/ErrorTests.hs:89:20: warning: [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat z (Max x y)) 'True 'True 'False with 'True Expected: Proxy (z <=? Max x y) -> Proxy 'True Actual: Proxy 'True -> Proxy 'True " In the expression: id In an equation for testFail24: testFail24 _ _ _ = id " Relevant bindings include testFail24 :: Proxy x -> Proxy y -> Proxy z -> Proxy (z <=? Max x y) -> Proxy 'True (bound at tests-pre-ghc-9.4/ErrorTests.hs:89:1) | 89 | testFail24 _ _ _ = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:92:18: warning: [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat (x + 1) (Max x y)) 'True 'True 'False with 'True Expected: Proxy ((x + 1) <=? Max x y) -> Proxy 'True Actual: Proxy 'True -> Proxy 'True " In the expression: id In an equation for testFail25: testFail25 _ _ = id " Relevant bindings include testFail25 :: Proxy x -> Proxy y -> Proxy ((x + 1) <=? Max x y) -> Proxy 'True (bound at tests-pre-ghc-9.4/ErrorTests.hs:92:1) | 92 | testFail25 _ _ = id | ^^ tests-pre-ghc-9.4/ErrorTests.hs:96:21: warning: [-Wdeferred-type-errors] " Could not deduce: Max x y ~ n from the context: (x <=? n) ~ 'True bound by the type signature for: testFail26' :: forall (x :: Nat) (n :: Nat) (y :: Nat). ((x <=? n) ~ 'True) => Proxy x -> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n at tests-pre-ghc-9.4/ErrorTests.hs:95:1-99 Expected: Proxy (Max x y) -> Proxy n Actual: Proxy n -> Proxy n n is a rigid type variable bound by the type signature for: testFail26' :: forall (x :: Nat) (n :: Nat) (y :: Nat). ((x <=? n) ~ 'True) => Proxy x -> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n at tests-pre-ghc-9.4/ErrorTests.hs:95:1-99 " In the expression: id In an equation for testFail26': testFail26' _ _ _ = id " Relevant bindings include testFail26' :: Proxy x -> Proxy y -> Proxy n -> Proxy (Max x y) -> Proxy n (bound at tests-pre-ghc-9.4/ErrorTests.hs:96:1) | 96 | testFail26' _ _ _ = id | ^^ [2 of 2] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/build/test-ghc-typelits-extra/test-ghc-typelits-extra ... Running 1 test suites... Test suite test-ghc-typelits-extra: RUNNING... Test suite test-ghc-typelits-extra: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/ghc-typelits-extra-0.4.6.test Writing: ghc-typelits-extra-0.4.6-inplace/GHC.TypeLits.Extra.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/hpc/vanilla/html/test-ghc-typelits-extra/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: ghc-typelits-extra-0.4.6-inplace/GHC.TypeLits.Extra.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-extra-0.4.6/noopt/hpc/vanilla/html/ghc-typelits-extra-0.4.6/hpc_index.html