Resolving dependencies... Starting Boolean-0.2.4 Starting StateVar-1.2.2 Starting OneTuple-0.3.1 Starting NumInstances-1.4 Building Boolean-0.2.4 Building NumInstances-1.4 Building StateVar-1.2.2 Building OneTuple-0.3.1 Completed StateVar-1.2.2 Starting base-orphans-0.8.7 Completed OneTuple-0.3.1 Starting binary-orphans-1.0.3 Completed Boolean-0.2.4 Starting call-stack-0.4.0 Building base-orphans-0.8.7 Building binary-orphans-1.0.3 Building call-stack-0.4.0 Completed NumInstances-1.4 Starting cereal-0.5.8.3 Building cereal-0.5.8.3 Completed base-orphans-0.8.7 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed call-stack-0.4.0 Starting fail-4.9.0.0 Building fail-4.9.0.0 Completed fail-4.9.0.0 Starting hashable-1.4.1.0 Building hashable-1.4.1.0 Completed binary-orphans-1.0.3 Starting ieee754-0.8.0 Building ieee754-0.8.0 Completed data-default-class-0.1.2.0 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed ieee754-0.8.0 Starting integer-logarithms-1.0.3.1 Completed cereal-0.5.8.3 Starting newtype-generics-0.6.2 Building integer-logarithms-1.0.3.1 Building newtype-generics-0.6.2 Completed hashable-1.4.1.0 Starting ordered-containers-0.2.2 Building ordered-containers-0.2.2 Completed indexed-traversable-0.1.2 Starting parallel-3.2.2.0 Building parallel-3.2.2.0 Completed integer-logarithms-1.0.3.1 Starting pragmatic-show-0.1.2.1 Completed newtype-generics-0.6.2 Starting primitive-0.7.4.0 Building pragmatic-show-0.1.2.1 Building primitive-0.7.4.0 Completed ordered-containers-0.2.2 Starting reflection-2.1.6 Building reflection-2.1.6 Completed parallel-3.2.2.0 Starting safe-0.3.19 Building safe-0.3.19 Completed pragmatic-show-0.1.2.1 Starting semigroups-0.20 Building semigroups-0.20 Completed semigroups-0.20 Starting splitmix-0.1.0.4 Completed safe-0.3.19 Starting syb-0.7.2.2 Building splitmix-0.1.0.4 Building syb-0.7.2.2 Completed reflection-2.1.6 Starting tagged-0.8.6.1 Building tagged-0.8.6.1 Completed splitmix-0.1.0.4 Starting th-abstraction-0.4.5.0 Building th-abstraction-0.4.5.0 Completed primitive-0.7.4.0 Starting th-compat-0.1.4 Building th-compat-0.1.4 Completed syb-0.7.2.2 Starting transformers-compat-0.7.2 Building transformers-compat-0.7.2 Completed tagged-0.8.6.1 Starting trivial-constraint-0.4.0.0 Building trivial-constraint-0.4.0.0 Completed th-compat-0.1.4 Starting vector-stream-0.1.0.0 Completed trivial-constraint-0.4.0.0 Starting void-0.7.3 Building vector-stream-0.1.0.0 Building void-0.7.3 Completed th-abstraction-0.4.5.0 Starting contravariant-1.5.5 Completed transformers-compat-0.7.2 Starting unordered-containers-0.2.19.1 Building contravariant-1.5.5 Building unordered-containers-0.2.19.1 Completed void-0.7.3 Starting MemoTrie-0.6.10 Building MemoTrie-0.6.10 Completed vector-stream-0.1.0.0 Starting random-1.2.1.1 Building random-1.2.1.1 Completed contravariant-1.5.5 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed MemoTrie-0.6.10 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed scientific-0.3.7.0 Starting th-expand-syns-0.4.10.0 Building th-expand-syns-0.4.10.0 Completed unordered-containers-0.2.19.1 Starting transformers-base-0.4.6 Building transformers-base-0.4.6 Completed th-lift-0.8.2 Starting vector-0.13.0.0 Building vector-0.13.0.0 Completed random-1.2.1.1 Starting constrained-categories-0.4.1.0 Building constrained-categories-0.4.1.0 Completed transformers-base-0.4.6 Starting vector-space-0.16 Completed th-expand-syns-0.4.10.0 Starting comonad-5.0.8 Building vector-space-0.16 Building comonad-5.0.8 Completed vector-space-0.16 Starting bytes-0.17.2 Completed comonad-5.0.8 Starting QuickCheck-2.14.2 Building bytes-0.17.2 Building QuickCheck-2.14.2 Completed constrained-categories-0.4.1.0 Starting th-reify-many-0.1.10 Building th-reify-many-0.1.10 Completed bytes-0.17.2 Starting bifunctors-5.5.13 Building bifunctors-5.5.13 Completed th-reify-many-0.1.10 Starting th-orphans-0.13.14 Building th-orphans-0.13.14 Completed QuickCheck-2.14.2 Completed bifunctors-5.5.13 Starting profunctors-5.6.2 Starting semigroupoids-5.3.7 Completed vector-0.13.0.0 Starting assoc-1.0.2 Building profunctors-5.6.2 Building semigroupoids-5.3.7 Building assoc-1.0.2 Completed th-orphans-0.13.14 Starting indexed-traversable-instances-0.1.1.1 Building indexed-traversable-instances-0.1.1.1 Completed assoc-1.0.2 Starting th-desugar-1.14 Building th-desugar-1.14 Completed indexed-traversable-instances-0.1.1.1 Starting these-1.1.1.1 Building these-1.1.1.1 Completed profunctors-5.6.2 Starting invariant-0.6 Building invariant-0.6 Completed semigroupoids-5.3.7 Starting free-5.1.9 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building free-5.1.9 Building strict-0.4.0.1 Completed invariant-0.6 Completed strict-0.4.0.1 Completed free-5.1.9 Starting adjunctions-4.4.2 Building adjunctions-4.4.2 Completed th-desugar-1.14 Starting equational-reasoning-0.7.0.1 Building equational-reasoning-0.7.0.1 Completed adjunctions-4.4.2 Starting kan-extensions-5.2.5 Building kan-extensions-5.2.5 Completed equational-reasoning-0.7.0.1 Starting manifolds-core-0.6.0.0 Building manifolds-core-0.6.0.0 Completed kan-extensions-5.2.5 Starting lens-5.2 Completed manifolds-core-0.6.0.0 Building lens-5.2 Completed lens-5.2 Starting linear-1.21.10 Building linear-1.21.10 Completed linear-1.21.10 Starting free-vector-spaces-0.1.5.2 Building free-vector-spaces-0.1.5.2 Completed free-vector-spaces-0.1.5.2 Starting linearmap-category-0.5.0.0 Building linearmap-category-0.5.0.0 Failed to install linearmap-category-0.5.0.0 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/linearmap-category-0.5.0.0-7gfz2fPn7pO6CfcJEELWAE.log ): cabal: Entering directory '/tmp/cabal-tmp-21276/linearmap-category-0.5.0.0' Configuring linearmap-category-0.5.0.0... Preprocessing library for linearmap-category-0.5.0.0.. Building library for linearmap-category-0.5.0.0.. [ 1 of 12] Compiling Math.VectorSpace.MiscUtil.MultiConstraints ( Math/VectorSpace/MiscUtil/MultiConstraints.hs, dist/build/Math/VectorSpace/MiscUtil/MultiConstraints.o, dist/build/Math/VectorSpace/MiscUtil/MultiConstraints.dyn_o ) [ 2 of 12] Compiling Math.VectorSpace.ZeroDimensional ( Math/VectorSpace/ZeroDimensional.hs, dist/build/Math/VectorSpace/ZeroDimensional.o, dist/build/Math/VectorSpace/ZeroDimensional.dyn_o ) [ 3 of 12] Compiling Math.LinearMap.Asserted ( Math/LinearMap/Asserted.hs, dist/build/Math/LinearMap/Asserted.o, dist/build/Math/LinearMap/Asserted.dyn_o ) [ 4 of 12] Compiling Math.LinearMap.Category.Class ( Math/LinearMap/Category/Class.hs, dist/build/Math/LinearMap/Category/Class.o, dist/build/Math/LinearMap/Category/Class.dyn_o ) [ 5 of 12] Compiling Math.VectorSpace.Dual ( Math/VectorSpace/Dual.hs, dist/build/Math/VectorSpace/Dual.o, dist/build/Math/VectorSpace/Dual.dyn_o ) [ 6 of 12] Compiling Math.LinearMap.Coercion ( Math/LinearMap/Coercion.hs, dist/build/Math/LinearMap/Coercion.o, dist/build/Math/LinearMap/Coercion.dyn_o ) [ 7 of 12] Compiling Math.LinearMap.Category.Instances ( Math/LinearMap/Category/Instances.hs, dist/build/Math/LinearMap/Category/Instances.o, dist/build/Math/LinearMap/Category/Instances.dyn_o ) [ 8 of 12] Compiling Math.VectorSpace.Docile ( Math/VectorSpace/Docile.hs, dist/build/Math/VectorSpace/Docile.o, dist/build/Math/VectorSpace/Docile.dyn_o ) Math/VectorSpace/Docile.hs:456:10: warning: [-Wmissing-methods] " No explicit implementation for symTensorDualBasisCandidates " In the instance declaration for SemiInner (Tensor s u v) | 456 | instance s u v . ( SemiInner u, SemiInner v, Scalar u ~ s, Scalar v ~ s ) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... Math/VectorSpace/Docile.hs:463:10: warning: [-Wmissing-methods] " No explicit implementation for symTensorDualBasisCandidates " In the instance declaration for SemiInner (SymmetricTensor s v) | 463 | instance s v . ( Num' s, SemiInner v, Scalar v ~ s ) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... Math/VectorSpace/Docile.hs:469:10: warning: [-Wmissing-methods] " No explicit implementation for symTensorDualBasisCandidates " In the instance declaration for SemiInner (LinearMap s u v) | 469 | instance s u v . ( LinearSpace u, SemiInner (DualVector u), SemiInner v | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... Math/VectorSpace/Docile.hs:853:10: warning: [-Wmissing-methods] " No explicit implementation for decomposeLinMapWithin, recomposeContraLinMapTensor, and tensorEquality " In the instance declaration for FiniteDimensional (SymmetricTensor s v) | 853 | instance s v . | ^^^^^^^... [ 9 of 12] Compiling Math.LinearMap.Category.TensorQuot ( Math/LinearMap/Category/TensorQuot.hs, dist/build/Math/LinearMap/Category/TensorQuot.o, dist/build/Math/LinearMap/Category/TensorQuot.dyn_o ) [10 of 12] Compiling Math.LinearMap.Category.Instances.Deriving ( Math/LinearMap/Category/Instances/Deriving.hs, dist/build/Math/LinearMap/Category/Instances/Deriving.o, dist/build/Math/LinearMap/Category/Instances/Deriving.dyn_o ) Math/LinearMap/Category/Instances/Deriving.hs:1462:36: error: " Expecting one more argument to TyVarBndr Expected a type, but TyVarBndr has kind * -> * " In the type signature: replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type In the expression: let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type replaceTVs [] [] = id replaceTVs (PlainTV infoTV : infoTVs) (PlainTV instTV : instTVs) = replaceTVs infoTVs instTVs . replaceTV infoTV instTV replaceTVs (KindedTV infoTV _ : infoTVs) instTVs = replaceTVs (PlainTV infoTV : infoTVs) instTVs replaceTVs infoTVs (KindedTV instTV _ : instTVs) = replaceTVs infoTVs (PlainTV instTV : instTVs) replaceTVs infoTVs instTVs = error $ "infoTVs = " ++ show infoTVs ++ ", instTVs = " ++ show instTVs replaceTV :: Name -> Name -> Type -> Type .... in return $ replaceTVs dttvbs atvbs c'' In a case alternative: D.DatatypeInfo {D.datatypeVariant = D.Newtype, D.datatypeVars = dttvbs, D.datatypeCons = [D.ConstructorInfo {D.constructorFields = [c'']}]} -> let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type replaceTVs [] [] = id replaceTVs (PlainTV infoTV : infoTVs) (PlainTV instTV : instTVs) = replaceTVs infoTVs instTVs . replaceTV infoTV instTV replaceTVs (KindedTV infoTV _ : infoTVs) instTVs = replaceTVs (PlainTV infoTV : infoTVs) instTVs replaceTVs infoTVs (KindedTV instTV _ : instTVs) = replaceTVs infoTVs (PlainTV instTV : instTVs) replaceTVs infoTVs instTVs = error $ "infoTVs = " ++ show infoTVs ++ ", instTVs = " ++ show instTVs .... in return $ replaceTVs dttvbs atvbs c'' | 1462 | -> let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type | ^^^^^^^^^ Math/LinearMap/Category/Instances/Deriving.hs:1462:51: error: " Expecting one more argument to TyVarBndr Expected a type, but TyVarBndr has kind * -> * " In the type signature: replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type In the expression: let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type replaceTVs [] [] = id replaceTVs (PlainTV infoTV : infoTVs) (PlainTV instTV : instTVs) = replaceTVs infoTVs instTVs . replaceTV infoTV instTV replaceTVs (KindedTV infoTV _ : infoTVs) instTVs = replaceTVs (PlainTV infoTV : infoTVs) instTVs replaceTVs infoTVs (KindedTV instTV _ : instTVs) = replaceTVs infoTVs (PlainTV instTV : instTVs) replaceTVs infoTVs instTVs = error $ "infoTVs = " ++ show infoTVs ++ ", instTVs = " ++ show instTVs replaceTV :: Name -> Name -> Type -> Type .... in return $ replaceTVs dttvbs atvbs c'' In a case alternative: D.DatatypeInfo {D.datatypeVariant = D.Newtype, D.datatypeVars = dttvbs, D.datatypeCons = [D.ConstructorInfo {D.constructorFields = [c'']}]} -> let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type replaceTVs [] [] = id replaceTVs (PlainTV infoTV : infoTVs) (PlainTV instTV : instTVs) = replaceTVs infoTVs instTVs . replaceTV infoTV instTV replaceTVs (KindedTV infoTV _ : infoTVs) instTVs = replaceTVs (PlainTV infoTV : infoTVs) instTVs replaceTVs infoTVs (KindedTV instTV _ : instTVs) = replaceTVs infoTVs (PlainTV instTV : instTVs) replaceTVs infoTVs instTVs = error $ "infoTVs = " ++ show infoTVs ++ ", instTVs = " ++ show instTVs .... in return $ replaceTVs dttvbs atvbs c'' | 1462 | -> let replaceTVs :: [TyVarBndr] -> [TyVarBndr] -> Type -> Type | ^^^^^^^^^ Math/LinearMap/Category/Instances/Deriving.hs:1595:34: error: " Couldn't match type Specificity with () Expected: [TyVarBndr ()] Actual: [TyVarBndr Specificity] " In the first argument of Just, namely tvbs In the second argument of NewtypeInstD, namely (Just tvbs) In the first argument of (<$>), namely NewtypeInstD [] (Just tvbs) | 1595 | NewtypeInstD [] (Just tvbs) | ^^^^ cabal: Leaving directory '/tmp/cabal-tmp-21276/linearmap-category-0.5.0.0' Error: cabal: Some packages failed to install: linearmap-category-0.5.0.0-7gfz2fPn7pO6CfcJEELWAE failed during the building phase. The exception was: ExitFailure 1