Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - syb-0.7.2.3 (lib:syb) (requires build) - th-expand-syns-0.4.11.0 (lib:th-expand-syns) (requires build) - th-reify-many-0.1.10 (lib:th-reify-many) (requires build) - th-orphans-0.13.14 (lib:th-orphans) (requires build) - th-desugar-1.15 (lib:th-desugar) (requires build) - equational-reasoning-0.7.0.1 (lib:equational-reasoning) (requires download & build) - ghc-typelits-presburger-0.7.2.0 (first run) Downloading equational-reasoning-0.7.0.1 Starting syb-0.7.2.3 (all, legacy fallback) Downloaded equational-reasoning-0.7.0.1 Building syb-0.7.2.3 (all, legacy fallback) Installing syb-0.7.2.3 (all, legacy fallback) Completed syb-0.7.2.3 (all, legacy fallback) Starting th-expand-syns-0.4.11.0 (all, legacy fallback) Building th-expand-syns-0.4.11.0 (all, legacy fallback) Installing th-expand-syns-0.4.11.0 (all, legacy fallback) Completed th-expand-syns-0.4.11.0 (all, legacy fallback) Starting th-reify-many-0.1.10 (all, legacy fallback) Building th-reify-many-0.1.10 (all, legacy fallback) Installing th-reify-many-0.1.10 (all, legacy fallback) Completed th-reify-many-0.1.10 (all, legacy fallback) Starting th-orphans-0.13.14 (all, legacy fallback) Building th-orphans-0.13.14 (all, legacy fallback) Installing th-orphans-0.13.14 (all, legacy fallback) Completed th-orphans-0.13.14 (all, legacy fallback) Starting th-desugar-1.15 (all, legacy fallback) Building th-desugar-1.15 (all, legacy fallback) Installing th-desugar-1.15 (all, legacy fallback) Completed th-desugar-1.15 (all, legacy fallback) Starting equational-reasoning-0.7.0.1 (all, legacy fallback) Building equational-reasoning-0.7.0.1 (all, legacy fallback) Installing equational-reasoning-0.7.0.1 (all, legacy fallback) Completed equational-reasoning-0.7.0.1 (all, legacy fallback) Configuring ghc-typelits-presburger-0.7.2.0... Preprocessing library for ghc-typelits-presburger-0.7.2.0.. Building library for ghc-typelits-presburger-0.7.2.0.. [1 of 6] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/Data/Integer/SAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/Data/Integer/SAT.dyn_o ) src/Data/Integer/SAT.hs:49:1: warning: [-Wunused-imports] The import of <$>, Applicative from module Control.Applicative is redundant | 49 | import Control.Applicative (Alternative (..), Applicative (..), (<$>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 6] Compiling GHC.TypeLits.Presburger.Compat ( src/GHC/TypeLits/Presburger/Compat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Compat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Compat.dyn_o ) src/GHC/TypeLits/Presburger/Compat.hs:31:1: warning: [-Wunused-imports] The qualified import of GHC.Builtin.Names is redundant except perhaps to import instances from GHC.Builtin.Names To import instances alone, use: import GHC.Builtin.Names() | 31 | import qualified GHC.Builtin.Names as Old | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/GHC/TypeLits/Presburger/Compat.hs:141:1: warning: [-Wunused-imports] The import of GHC.Tc.Types is redundant except perhaps to import instances from GHC.Tc.Types To import instances alone, use: import GHC.Tc.Types() | 141 | import GHC.Tc.Types as GHC.TypeLits.Presburger.Compat (TcPlugin (..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/GHC/TypeLits/Presburger/Compat.hs:158:46: warning: [-Wunused-imports] The import of toUnitId from module GHC.Unit.Types is redundant | 158 | import GHC.Unit.Types (UnitId(..), fsToUnit, toUnitId) | ^^^^^^^^ [3 of 6] Compiling GHC.TypeLits.Presburger.Flags ( src/GHC/TypeLits/Presburger/Flags.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Flags.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Flags.dyn_o ) [4 of 6] Compiling GHC.TypeLits.Presburger.Types ( src/GHC/TypeLits/Presburger/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger/Types.dyn_o ) src/GHC/TypeLits/Presburger/Types.hs:40:1: warning: [-Wunused-imports] The import of Data.Char is redundant except perhaps to import instances from Data.Char To import instances alone, use: import Data.Char() | 40 | import Data.Char (isDigit) | ^^^^^^^^^^^^^^^^^^^^^^^^^^ src/GHC/TypeLits/Presburger/Types.hs:48:1: warning: [-Wunused-imports] The qualified import of Data.List is redundant except perhaps to import instances from Data.List To import instances alone, use: import Data.List() | 48 | import qualified Data.List as L | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/GHC/TypeLits/Presburger/Types.hs:54:5: warning: [-Wunused-imports] The import of listToMaybe from module Data.Maybe is redundant | 54 | listToMaybe, | ^^^^^^^^^^^ [5 of 6] Compiling GHC.TypeLits.Presburger ( src/GHC/TypeLits/Presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/GHC/TypeLits/Presburger.dyn_o ) [6 of 6] Compiling Paths_ghc_typelits_presburger ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/autogen/Paths_ghc_typelits_presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/Paths_ghc_typelits_presburger.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/Paths_ghc_typelits_presburger.dyn_o ) Preprocessing test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.2.0.. Building test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.2.0.. [1 of 6] Compiling Paths_ghc_typelits_presburger ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/autogen/Paths_ghc_typelits_presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Paths_ghc_typelits_presburger.o ) [2 of 6] Compiling Shared ( test/Shared.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Shared.o ) [3 of 6] Compiling ErrorsWithPlugin ( test/ErrorsWithPlugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsWithPlugin.o ) test/ErrorsWithPlugin.hs:12:18: warning: [-Wunused-matches] Defined but not used: as | 12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^ test/ErrorsWithPlugin.hs:12:34: warning: [-Wdeferred-type-errors] " Could not deduce: (n GHC.TypeNats.+ 1) ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsWithPlugin.hs:12:13-19 or from: n ~ (n2 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsWithPlugin.hs:12:23-29 Expected: Vec n (a, b) Actual: Vec (n GHC.TypeNats.+ 1) (a, b) n is a rigid type variable bound by the type signature for: zipMVec :: forall (n :: GHC.TypeNats.Nat) a b. Vec n a -> Vec n b -> Vec n (a, b) at test/ErrorsWithPlugin.hs:10:1-45 " In the expression: (a, b) :- zipMVec zs bs In an equation for zipMVec: zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs " Relevant bindings include zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:12:9) zipMVec :: Vec n a -> Vec n b -> Vec n (a, b) (bound at test/ErrorsWithPlugin.hs:11:1) | 12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^^^^^^^^^^^^^^^^^^^^^^ test/ErrorsWithPlugin.hs:12:55: warning: [-Wdeferred-type-errors] " Could not deduce: n2 ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsWithPlugin.hs:12:13-19 or from: n ~ (n2 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsWithPlugin.hs:12:23-29 Expected: Vec n b Actual: Vec n2 b n2 is a rigid type variable bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsWithPlugin.hs:12:23-29 n is a rigid type variable bound by the type signature for: zipMVec :: forall (n :: GHC.TypeNats.Nat) a b. Vec n a -> Vec n b -> Vec n (a, b) at test/ErrorsWithPlugin.hs:10:1-45 " In the second argument of zipMVec, namely bs In the second argument of (:-), namely zipMVec zs bs In the expression: (a, b) :- zipMVec zs bs " Relevant bindings include bs :: Vec n2 b (bound at test/ErrorsWithPlugin.hs:12:28) zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:12:9) zipMVec :: Vec n a -> Vec n b -> Vec n (a, b) (bound at test/ErrorsWithPlugin.hs:11:1) | 12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^ test/ErrorsWithPlugin.hs:19:31: warning: [-Wdeferred-type-errors] " Could not deduce: n1 ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for unSpin at test/ErrorsWithPlugin.hs:19:12-18 Expected: Vec n a Actual: Vec n1 a n1 is a rigid type variable bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for unSpin at test/ErrorsWithPlugin.hs:19:12-18 n is a rigid type variable bound by the type signature for: unSpin :: forall (n :: GHC.TypeNats.Nat) a. Vec n a -> () at test/ErrorsWithPlugin.hs:17:1-23 " In the second argument of spin, namely ws In the expression: spin zs ws In an equation for unSpin: unSpin zs@(_ :- ws) = spin zs ws " Relevant bindings include ws :: Vec n1 a (bound at test/ErrorsWithPlugin.hs:19:17) zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:19:8) unSpin :: Vec n a -> () (bound at test/ErrorsWithPlugin.hs:18:1) | 19 | unSpin zs@(_ :- ws) = spin zs ws | ^^ [4 of 6] Compiling ErrorsNoPlugin ( test/ErrorsNoPlugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsNoPlugin.o ) test/ErrorsNoPlugin.hs:11:18: warning: [-Wunused-matches] Defined but not used: as | 11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^ test/ErrorsNoPlugin.hs:11:34: warning: [-Wdeferred-type-errors] " Could not deduce: (n GHC.TypeNats.+ 1) ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsNoPlugin.hs:11:13-19 or from: n ~ (n2 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsNoPlugin.hs:11:23-29 Expected: Vec n (a, b) Actual: Vec (n GHC.TypeNats.+ 1) (a, b) n is a rigid type variable bound by the type signature for: zipMVec :: forall (n :: GHC.TypeNats.Nat) a b. Vec n a -> Vec n b -> Vec n (a, b) at test/ErrorsNoPlugin.hs:9:1-45 " In the expression: (a, b) :- zipMVec zs bs In an equation for zipMVec: zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs " Relevant bindings include zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:11:9) zipMVec :: Vec n a -> Vec n b -> Vec n (a, b) (bound at test/ErrorsNoPlugin.hs:10:1) | 11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^^^^^^^^^^^^^^^^^^^^^^ test/ErrorsNoPlugin.hs:11:55: warning: [-Wdeferred-type-errors] " Could not deduce: n2 ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsNoPlugin.hs:11:13-19 or from: n ~ (n2 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsNoPlugin.hs:11:23-29 Expected: Vec n b Actual: Vec n2 b n2 is a rigid type variable bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for zipMVec at test/ErrorsNoPlugin.hs:11:23-29 n is a rigid type variable bound by the type signature for: zipMVec :: forall (n :: GHC.TypeNats.Nat) a b. Vec n a -> Vec n b -> Vec n (a, b) at test/ErrorsNoPlugin.hs:9:1-45 " In the second argument of zipMVec, namely bs In the second argument of (:-), namely zipMVec zs bs In the expression: (a, b) :- zipMVec zs bs " Relevant bindings include bs :: Vec n2 b (bound at test/ErrorsNoPlugin.hs:11:28) zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:11:9) zipMVec :: Vec n a -> Vec n b -> Vec n (a, b) (bound at test/ErrorsNoPlugin.hs:10:1) | 11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs | ^^ test/ErrorsNoPlugin.hs:18:31: warning: [-Wdeferred-type-errors] " Could not deduce: n1 ~ n from the context: n ~ (n1 GHC.TypeNats.+ 1) bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for unSpin at test/ErrorsNoPlugin.hs:18:12-18 Expected: Vec n a Actual: Vec n1 a n1 is a rigid type variable bound by a pattern with constructor: :- :: forall a (n1 :: GHC.Num.Natural.Natural). a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a, in an equation for unSpin at test/ErrorsNoPlugin.hs:18:12-18 n is a rigid type variable bound by the type signature for: unSpin :: forall (n :: GHC.TypeNats.Nat) a. Vec n a -> () at test/ErrorsNoPlugin.hs:16:1-23 " In the second argument of spin, namely ws In the expression: spin zs ws In an equation for unSpin: unSpin zs@(_ :- ws) = spin zs ws " Relevant bindings include ws :: Vec n1 a (bound at test/ErrorsNoPlugin.hs:18:17) zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:18:8) unSpin :: Vec n a -> () (bound at test/ErrorsNoPlugin.hs:17:1) | 18 | unSpin zs@(_ :- ws) = spin zs ws | ^^ [5 of 6] Compiling GHC.TypeLits.PresburgerSpec ( test/GHC/TypeLits/PresburgerSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/GHC/TypeLits/PresburgerSpec.o ) [6 of 6] Compiling Main ( test/test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.2.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger ... Running 1 test suites... Test suite test-typeltis-presburger: RUNNING... Test suite test-typeltis-presburger: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/ghc-typelits-presburger-0.7.2.0.test 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-presburger-0.7.2.0/noopt/hpc/vanilla/html/test-typeltis-presburger/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. 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-presburger-0.7.2.0/noopt/hpc/vanilla/html/ghc-typelits-presburger-0.7.2.0/hpc_index.html