Build #2 for oalg-base-1.0.0.0
| Package | oalg-base-1.0.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-10-21 12:57:18.95560686 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.4.0, base-4.16.3.0, deepseq-1.4.6.1, random-1.2.1.1, time-1.11.1.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Building splitmix-0.1.0.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Building random-1.2.1.1
Completed random-1.2.1.1
Starting oalg-base-1.0.0.0
Building oalg-base-1.0.0.0
Failed to install oalg-base-1.0.0.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/oalg-base-1.0.0.0-1tytC60xwGE2Eo8m5ZawhR.log ):
cabal: Entering directory '/tmp/cabal-tmp-511269/oalg-base-1.0.0.0'
Configuring oalg-base-1.0.0.0...
Preprocessing library for oalg-base-1.0.0.0..
Building library for oalg-base-1.0.0.0..
[ 1 of 130] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, dist/build/OAlg/Control/Action.o, dist/build/OAlg/Control/Action.dyn_o )
[ 2 of 130] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, dist/build/OAlg/Control/Exception.o, dist/build/OAlg/Control/Exception.dyn_o )
[ 3 of 130] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, dist/build/OAlg/Control/HNFData.o, dist/build/OAlg/Control/HNFData.dyn_o )
[ 4 of 130] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, dist/build/OAlg/Control/Solver.o, dist/build/OAlg/Control/Solver.dyn_o )
[ 5 of 130] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, dist/build/OAlg/Data/Constructable.o, dist/build/OAlg/Data/Constructable.dyn_o )
[ 6 of 130] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, dist/build/OAlg/Data/Dualisable.o, dist/build/OAlg/Data/Dualisable.dyn_o )
[ 7 of 130] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, dist/build/OAlg/Data/Equal.o, dist/build/OAlg/Data/Equal.dyn_o )
[ 8 of 130] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, dist/build/OAlg/Data/Identity.o, dist/build/OAlg/Data/Identity.dyn_o )
[ 9 of 130] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, dist/build/OAlg/Data/Maybe.o, dist/build/OAlg/Data/Maybe.dyn_o )
[ 10 of 130] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, dist/build/OAlg/Data/Ord.o, dist/build/OAlg/Data/Ord.dyn_o )
[ 11 of 130] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, dist/build/OAlg/Data/Reducible.o, dist/build/OAlg/Data/Reducible.dyn_o )
[ 12 of 130] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, dist/build/OAlg/Data/Show.o, dist/build/OAlg/Data/Show.dyn_o )
[ 13 of 130] Compiling OAlg.Data.Opposite ( src/OAlg/Data/Opposite.hs, dist/build/OAlg/Data/Opposite.o, dist/build/OAlg/Data/Opposite.dyn_o )
[ 14 of 130] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, dist/build/OAlg/Data/Either.o, dist/build/OAlg/Data/Either.dyn_o )
[ 15 of 130] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, dist/build/OAlg/Category/Applicative.o, dist/build/OAlg/Category/Applicative.dyn_o )
[ 16 of 130] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, dist/build/OAlg/Control/Verbose.o, dist/build/OAlg/Control/Verbose.dyn_o )
[ 17 of 130] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, dist/build/OAlg/Data/Singleton.o, dist/build/OAlg/Data/Singleton.dyn_o )
[ 18 of 130] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, dist/build/OAlg/Data/Singular.o, dist/build/OAlg/Data/Singular.dyn_o )
[ 19 of 130] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, dist/build/OAlg/Data/Statistics.o, dist/build/OAlg/Data/Statistics.dyn_o )
src/OAlg/Data/Statistics.hs:49:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for aggr:
Patterns of type [(Int, (b, c))] not matched: []
|
49 | aggr axs@((_,(a,x)):_) = (w,a,x)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 20 of 130] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, dist/build/OAlg/Data/Tree.o, dist/build/OAlg/Data/Tree.dyn_o )
[ 21 of 130] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, dist/build/OAlg/Data/TypeLits.o, dist/build/OAlg/Data/TypeLits.dyn_o )
[ 22 of 130] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, dist/build/OAlg/Hom/Definition.o, dist/build/OAlg/Hom/Definition.dyn_o )
[ 23 of 130] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, dist/build/OAlg/Structure/Definition.o, dist/build/OAlg/Structure/Definition.dyn_o )
[ 24 of 130] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, dist/build/OAlg/Data/Boolean/Definition.o, dist/build/OAlg/Data/Boolean/Definition.dyn_o )
[ 25 of 130] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, dist/build/OAlg/Data/Canonical.o, dist/build/OAlg/Data/Canonical.dyn_o )
[ 26 of 130] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, dist/build/OAlg/Data/Number.o, dist/build/OAlg/Data/Number.dyn_o )
src/OAlg/Data/Number.hs:70:48: warning: [-Widentities]
Call of toInteger :: Integer -> Integer
can probably be omitted
|
70 | newtype N = N Integer deriving (Eq,Ord,Ix,Real,Integral,NFData)
| ^^^^^^^^
src/OAlg/Data/Number.hs:141:32: warning: [-Widentities]
Call of toInteger :: Integer -> Integer
can probably be omitted
|
141 | deriving (Eq,Ord,Ix,Num,Enum,Integral,Real,NFData)
| ^^^^^^^^
src/OAlg/Data/Number.hs:172:33: warning: [-Widentities]
Call of toRational :: Rational -> Rational
can probably be omitted
|
172 | deriving (Eq, Ord, Num, Enum, Real, RealFrac, Fractional, NFData)
| ^^^^
[ 27 of 130] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, dist/build/OAlg/Data/X.o, dist/build/OAlg/Data/X.dyn_o )
[ 28 of 130] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, dist/build/OAlg/Category/Definition.o, dist/build/OAlg/Category/Definition.dyn_o )
[ 29 of 130] Compiling OAlg.Data.Statement.Definition ( src/OAlg/Data/Statement/Definition.hs, dist/build/OAlg/Data/Statement/Definition.o, dist/build/OAlg/Data/Statement/Definition.dyn_o )
[ 30 of 130] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, dist/build/OAlg/Data/Boolean/Proposition.o, dist/build/OAlg/Data/Boolean/Proposition.dyn_o )
[ 31 of 130] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, dist/build/OAlg/Data/Boolean.o, dist/build/OAlg/Data/Boolean.dyn_o )
[ 32 of 130] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, dist/build/OAlg/Data/Statement/Proposition.o, dist/build/OAlg/Data/Statement/Proposition.dyn_o )
[ 33 of 130] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, dist/build/OAlg/Data/Statement.o, dist/build/OAlg/Data/Statement.dyn_o )
[ 34 of 130] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, dist/build/OAlg/Data/Validable.o, dist/build/OAlg/Data/Validable.dyn_o )
[ 35 of 130] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, dist/build/OAlg/Data/Symbol.o, dist/build/OAlg/Data/Symbol.dyn_o )
[ 36 of 130] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, dist/build/OAlg/Entity/Definition.o, dist/build/OAlg/Entity/Definition.dyn_o )
[ 37 of 130] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, dist/build/OAlg/Control/Validate.o, dist/build/OAlg/Control/Validate.dyn_o )
[ 38 of 130] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, dist/build/OAlg/Category/Path.o, dist/build/OAlg/Category/Path.dyn_o )
[ 39 of 130] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, dist/build/OAlg/Category/Unify.o, dist/build/OAlg/Category/Unify.dyn_o )
[ 40 of 130] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, dist/build/OAlg/Category/Proposition.o, dist/build/OAlg/Category/Proposition.dyn_o )
[ 41 of 130] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, dist/build/OAlg/Prelude.o, dist/build/OAlg/Prelude.dyn_o )
src/OAlg/Prelude.hs:73:17: error:
Module Prelude does not export type (~)
|
73 | , type (~)
| ^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-511269/oalg-base-1.0.0.0'
Error: cabal: Some packages failed to install:
oalg-base-1.0.0.0-1tytC60xwGE2Eo8m5ZawhR failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.