Build #2 for linearmap-category-0.5.0.0
| Package | linearmap-category-0.5.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-09-18 13:51:29.063483538 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | MemoTrie-0.6.10, QuickCheck-2.14.2, base-4.16.3.0, call-stack-0.4.0, constrained-categories-0.4.1.0, containers-0.6.5.1, data-default-class-0.1.2.0, free-vector-spaces-0.1.5.2, hashable-1.4.1.0, ieee754-0.8.0, lens-5.2, linear-1.21.10, manifolds-core-0.6.0.0, semigroups-0.20, tagged-0.8.6.1, template-haskell-2.18.0.0, th-abstraction-0.4.5.0, transformers-0.5.6.2, vector-0.13.0.0, vector-space-0.16 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.