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.1 Building oalg-base-1.0.0.1 Failed to install oalg-base-1.0.0.1 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/oalg-base-1.0.0.1-AzEYv1CVGdV5y8JcmXhfzm.log ): cabal: Entering directory '/tmp/cabal-tmp-613182/oalg-base-1.0.0.1' Configuring oalg-base-1.0.0.1... Preprocessing library for oalg-base-1.0.0.1.. Building library for oalg-base-1.0.0.1.. [ 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:75:28: error: Module Data.Type.Equality does not export type (~) | 75 | import Data.Type.Equality (type (~)) | ^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-613182/oalg-base-1.0.0.1' Error: cabal: Some packages failed to install: oalg-base-1.0.0.1-AzEYv1CVGdV5y8JcmXhfzm failed during the building phase. The exception was: ExitFailure 1