Resolving dependencies... Build profile: -w ghc-9.8.4 -O0 In order, the following will be built (use -v for more details): - splitmix-0.1.3.1 (lib:splitmix) (requires build) - random-1.3.1 (lib:random) (requires build) - oalg-base-3.0.0.0 (lib:oalg-base) (requires build) - oalg-abg-2.0.0.0 (first run) Configuring splitmix-0.1.3.1... Preprocessing library for splitmix-0.1.3.1.. Building library for splitmix-0.1.3.1.. [1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o ) [2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o ) [3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o ) [4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1154587/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.1-288b12a0a41106e148ec05076951fd3c1649588ba20ba3678f267f4c1aba182b/lib Configuring random-1.3.1... Preprocessing library for random-1.3.1.. Building library for random-1.3.1.. [1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o ) [2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o ) [3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o ) [4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o ) [5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o ) [6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1154587/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-53ff6fe118017105e81166d88d18b96f408abcf71eb151b207f576308ca5b779/lib Configuring oalg-base-3.0.0.0... Preprocessing library for oalg-base-3.0.0.0.. Building library for oalg-base-3.0.0.0.. [ 1 of 182] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, dist/build/OAlg/Control/Action.o, dist/build/OAlg/Control/Action.dyn_o ) [ 2 of 182] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, dist/build/OAlg/Control/Exception.o, dist/build/OAlg/Control/Exception.dyn_o ) [ 3 of 182] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, dist/build/OAlg/Control/HNFData.o, dist/build/OAlg/Control/HNFData.dyn_o ) [ 4 of 182] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, dist/build/OAlg/Control/Solver.o, dist/build/OAlg/Control/Solver.dyn_o ) [ 5 of 182] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, dist/build/OAlg/Data/Constructable.o, dist/build/OAlg/Data/Constructable.dyn_o ) [ 6 of 182] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, dist/build/OAlg/Data/Dualisable.o, dist/build/OAlg/Data/Dualisable.dyn_o ) [ 7 of 182] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, dist/build/OAlg/Data/Equal.o, dist/build/OAlg/Data/Equal.dyn_o ) [ 8 of 182] Compiling OAlg.Data.Filterable ( src/OAlg/Data/Filterable.hs, dist/build/OAlg/Data/Filterable.o, dist/build/OAlg/Data/Filterable.dyn_o ) [ 9 of 182] Compiling OAlg.Data.Logical ( src/OAlg/Data/Logical.hs, dist/build/OAlg/Data/Logical.o, dist/build/OAlg/Data/Logical.dyn_o ) [ 10 of 182] 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 ) [ 11 of 182] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, dist/build/OAlg/Data/Canonical.o, dist/build/OAlg/Data/Canonical.dyn_o ) [ 12 of 182] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, dist/build/OAlg/Data/Maybe.o, dist/build/OAlg/Data/Maybe.dyn_o ) [ 13 of 182] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, dist/build/OAlg/Data/Number.o, dist/build/OAlg/Data/Number.dyn_o ) [ 14 of 182] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, dist/build/OAlg/Data/Ord.o, dist/build/OAlg/Data/Ord.dyn_o ) [ 15 of 182] Compiling OAlg.Data.Proxy ( src/OAlg/Data/Proxy.hs, dist/build/OAlg/Data/Proxy.o, dist/build/OAlg/Data/Proxy.dyn_o ) [ 16 of 182] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, dist/build/OAlg/Data/Reducible.o, dist/build/OAlg/Data/Reducible.dyn_o ) [ 17 of 182] Compiling OAlg.Data.Relation ( src/OAlg/Data/Relation.hs, dist/build/OAlg/Data/Relation.o, dist/build/OAlg/Data/Relation.dyn_o ) [ 18 of 182] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, dist/build/OAlg/Data/Show.o, dist/build/OAlg/Data/Show.dyn_o ) [ 19 of 182] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, dist/build/OAlg/Data/Either.o, dist/build/OAlg/Data/Either.dyn_o ) [ 20 of 182] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, dist/build/OAlg/Control/Verbose.o, dist/build/OAlg/Control/Verbose.dyn_o ) [ 21 of 182] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, dist/build/OAlg/Data/Singleton.o, dist/build/OAlg/Data/Singleton.dyn_o ) [ 22 of 182] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, dist/build/OAlg/Data/Singular.o, dist/build/OAlg/Data/Singular.dyn_o ) [ 23 of 182] 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: [GHC-62161] [-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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 24 of 182] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, dist/build/OAlg/Data/Tree.o, dist/build/OAlg/Data/Tree.dyn_o ) [ 25 of 182] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, dist/build/OAlg/Data/TypeLits.o, dist/build/OAlg/Data/TypeLits.dyn_o ) [ 26 of 182] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, dist/build/OAlg/Data/X.o, dist/build/OAlg/Data/X.dyn_o ) src/OAlg/Data/X.hs:193:50: warning: [GHC-68441] [-Wdeprecations] In the use of split (imported from System.Random, but defined in System.Random.Internal): Deprecated: "In favor of `splitGen`" | 193 | xOmega = X $ Action (\(Omega g) -> let (g1,g2) = R.split g in (Omega g1,Omega g2)) | ^^^^^^^ [ 27 of 182] 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 ) [ 28 of 182] Compiling OAlg.Data.EqualExtensional ( src/OAlg/Data/EqualExtensional.hs, dist/build/OAlg/Data/EqualExtensional.o, dist/build/OAlg/Data/EqualExtensional.dyn_o ) [ 29 of 182] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, dist/build/OAlg/Category/Applicative.o, dist/build/OAlg/Category/Applicative.dyn_o ) [ 30 of 182] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, dist/build/OAlg/Structure/Definition.o, dist/build/OAlg/Structure/Definition.dyn_o ) [ 31 of 182] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, dist/build/OAlg/Category/Definition.o, dist/build/OAlg/Category/Definition.dyn_o ) [ 32 of 182] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, dist/build/OAlg/Data/Identity.o, dist/build/OAlg/Data/Identity.dyn_o ) [ 33 of 182] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, dist/build/OAlg/Data/Validable.o, dist/build/OAlg/Data/Validable.dyn_o ) [ 34 of 182] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, dist/build/OAlg/Entity/Definition.o, dist/build/OAlg/Entity/Definition.dyn_o ) [ 35 of 182] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, dist/build/OAlg/Data/Symbol.o, dist/build/OAlg/Data/Symbol.dyn_o ) [ 36 of 182] 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 ) [ 37 of 182] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, dist/build/OAlg/Data/Boolean.o, dist/build/OAlg/Data/Boolean.dyn_o ) [ 38 of 182] 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 ) [ 39 of 182] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, dist/build/OAlg/Data/Statement.o, dist/build/OAlg/Data/Statement.dyn_o ) [ 40 of 182] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, dist/build/OAlg/Control/Validate.o, dist/build/OAlg/Control/Validate.dyn_o ) [ 41 of 182] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, dist/build/OAlg/Category/Path.o, dist/build/OAlg/Category/Path.dyn_o ) [ 42 of 182] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, dist/build/OAlg/Category/Unify.o, dist/build/OAlg/Category/Unify.dyn_o ) [ 43 of 182] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, dist/build/OAlg/Category/Proposition.o, dist/build/OAlg/Category/Proposition.dyn_o ) [ 44 of 182] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, dist/build/OAlg/Prelude.o, dist/build/OAlg/Prelude.dyn_o ) [ 45 of 182] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, dist/build/OAlg/Limes/Perspective.o, dist/build/OAlg/Limes/Perspective.dyn_o ) [ 46 of 182] Compiling OAlg.Category.NaturalTransformable ( src/OAlg/Category/NaturalTransformable.hs, dist/build/OAlg/Category/NaturalTransformable.o, dist/build/OAlg/Category/NaturalTransformable.dyn_o ) [ 47 of 182] Compiling OAlg.Category.Map ( src/OAlg/Category/Map.hs, dist/build/OAlg/Category/Map.o, dist/build/OAlg/Category/Map.dyn_o ) [ 48 of 182] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, dist/build/OAlg/Structure/Exception.o, dist/build/OAlg/Structure/Exception.dyn_o ) [ 49 of 182] Compiling OAlg.Structure.Oriented.Point ( src/OAlg/Structure/Oriented/Point.hs, dist/build/OAlg/Structure/Oriented/Point.o, dist/build/OAlg/Structure/Oriented/Point.dyn_o ) [ 50 of 182] Compiling OAlg.Structure.Oriented.Orientation ( src/OAlg/Structure/Oriented/Orientation.hs, dist/build/OAlg/Structure/Oriented/Orientation.o, dist/build/OAlg/Structure/Oriented/Orientation.dyn_o ) [ 51 of 182] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, dist/build/OAlg/Structure/Oriented/Definition.o, dist/build/OAlg/Structure/Oriented/Definition.dyn_o ) [ 52 of 182] Compiling OAlg.Structure.Oriented.Opposite ( src/OAlg/Structure/Oriented/Opposite.hs, dist/build/OAlg/Structure/Oriented/Opposite.o, dist/build/OAlg/Structure/Oriented/Opposite.dyn_o ) [ 53 of 182] Compiling OAlg.Structure.Oriented.Path ( src/OAlg/Structure/Oriented/Path.hs, dist/build/OAlg/Structure/Oriented/Path.o, dist/build/OAlg/Structure/Oriented/Path.dyn_o ) [ 54 of 182] Compiling OAlg.Structure.Oriented.X ( src/OAlg/Structure/Oriented/X.hs, dist/build/OAlg/Structure/Oriented/X.o, dist/build/OAlg/Structure/Oriented/X.dyn_o ) [ 55 of 182] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, dist/build/OAlg/Structure/Oriented/Proposition.o, dist/build/OAlg/Structure/Oriented/Proposition.dyn_o ) [ 56 of 182] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, dist/build/OAlg/Structure/Oriented.o, dist/build/OAlg/Structure/Oriented.dyn_o ) [ 57 of 182] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, dist/build/OAlg/Structure/Multiplicative/Definition.o, dist/build/OAlg/Structure/Multiplicative/Definition.dyn_o ) [ 58 of 182] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, dist/build/OAlg/Structure/Operational.o, dist/build/OAlg/Structure/Operational.dyn_o ) [ 59 of 182] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, dist/build/OAlg/Structure/Multiplicative/Proposition.o, dist/build/OAlg/Structure/Multiplicative/Proposition.dyn_o ) [ 60 of 182] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, dist/build/OAlg/Structure/Multiplicative.o, dist/build/OAlg/Structure/Multiplicative.dyn_o ) [ 61 of 182] Compiling OAlg.Structure.Fibred.Root ( src/OAlg/Structure/Fibred/Root.hs, dist/build/OAlg/Structure/Fibred/Root.o, dist/build/OAlg/Structure/Fibred/Root.dyn_o ) [ 62 of 182] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, dist/build/OAlg/Structure/Fibred/Definition.o, dist/build/OAlg/Structure/Fibred/Definition.dyn_o ) [ 63 of 182] Compiling OAlg.Structure.FibredOriented ( src/OAlg/Structure/FibredOriented.hs, dist/build/OAlg/Structure/FibredOriented.o, dist/build/OAlg/Structure/FibredOriented.dyn_o ) [ 64 of 182] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, dist/build/OAlg/Structure/Fibred/Proposition.o, dist/build/OAlg/Structure/Fibred/Proposition.dyn_o ) [ 65 of 182] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, dist/build/OAlg/Structure/Fibred.o, dist/build/OAlg/Structure/Fibred.dyn_o ) [ 66 of 182] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, dist/build/OAlg/Structure/Additive/Definition.o, dist/build/OAlg/Structure/Additive/Definition.dyn_o ) [ 67 of 182] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, dist/build/OAlg/Structure/Distributive/Definition.o, dist/build/OAlg/Structure/Distributive/Definition.dyn_o ) [ 68 of 182] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, dist/build/OAlg/Structure/Additive/Proposition.o, dist/build/OAlg/Structure/Additive/Proposition.dyn_o ) [ 69 of 182] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, dist/build/OAlg/Structure/Additive.o, dist/build/OAlg/Structure/Additive.dyn_o ) [ 70 of 182] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, dist/build/OAlg/Structure/Distributive/Proposition.o, dist/build/OAlg/Structure/Distributive/Proposition.dyn_o ) [ 71 of 182] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, dist/build/OAlg/Structure/Distributive.o, dist/build/OAlg/Structure/Distributive.dyn_o ) [ 72 of 182] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, dist/build/OAlg/Entity/Natural.o, dist/build/OAlg/Entity/Natural.dyn_o ) [ 73 of 182] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, dist/build/OAlg/Entity/FinList.o, dist/build/OAlg/Entity/FinList.dyn_o ) [ 74 of 182] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, dist/build/OAlg/Entity/Diagram/Quiver.o, dist/build/OAlg/Entity/Diagram/Quiver.dyn_o ) [ 75 of 182] Compiling OAlg.Category.Dualisable ( src/OAlg/Category/Dualisable.hs, dist/build/OAlg/Category/Dualisable.o, dist/build/OAlg/Category/Dualisable.dyn_o ) [ 76 of 182] Compiling OAlg.Limes.Cone.Structure ( src/OAlg/Limes/Cone/Structure.hs, dist/build/OAlg/Limes/Cone/Structure.o, dist/build/OAlg/Limes/Cone/Structure.dyn_o ) [ 77 of 182] Compiling OAlg.Structure.PartiallyOrdered.Definition ( src/OAlg/Structure/PartiallyOrdered/Definition.hs, dist/build/OAlg/Structure/PartiallyOrdered/Definition.o, dist/build/OAlg/Structure/PartiallyOrdered/Definition.dyn_o ) [ 78 of 182] Compiling OAlg.Structure.Lattice.Definition ( src/OAlg/Structure/Lattice/Definition.hs, dist/build/OAlg/Structure/Lattice/Definition.o, dist/build/OAlg/Structure/Lattice/Definition.dyn_o ) [ 79 of 182] Compiling OAlg.Structure.PartiallyOrdered.Proposition ( src/OAlg/Structure/PartiallyOrdered/Proposition.hs, dist/build/OAlg/Structure/PartiallyOrdered/Proposition.o, dist/build/OAlg/Structure/PartiallyOrdered/Proposition.dyn_o ) [ 80 of 182] Compiling OAlg.Structure.PartiallyOrdered ( src/OAlg/Structure/PartiallyOrdered.hs, dist/build/OAlg/Structure/PartiallyOrdered.o, dist/build/OAlg/Structure/PartiallyOrdered.dyn_o ) [ 81 of 182] Compiling OAlg.Structure.Lattice.Proposition ( src/OAlg/Structure/Lattice/Proposition.hs, dist/build/OAlg/Structure/Lattice/Proposition.o, dist/build/OAlg/Structure/Lattice/Proposition.dyn_o ) [ 82 of 182] Compiling OAlg.Structure.Lattice ( src/OAlg/Structure/Lattice.hs, dist/build/OAlg/Structure/Lattice.o, dist/build/OAlg/Structure/Lattice.dyn_o ) [ 83 of 182] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, dist/build/OAlg/Structure/Proposition.o, dist/build/OAlg/Structure/Proposition.dyn_o ) [ 84 of 182] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, dist/build/OAlg/Structure/Ring/Definition.o, dist/build/OAlg/Structure/Ring/Definition.dyn_o ) [ 85 of 182] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, dist/build/OAlg/Structure/Ring.o, dist/build/OAlg/Structure/Ring.dyn_o ) [ 86 of 182] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, dist/build/OAlg/Structure/Number/Definition.o, dist/build/OAlg/Structure/Number/Definition.dyn_o ) src/OAlg/Structure/Number/Definition.hs:232:9: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for filterPrime: Patterns of type [a] not matched: [] | 232 | where filterPrime (p:xs) = p : filterPrime [x | x <- xs, x `mod` p /= 0] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 87 of 182] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, dist/build/OAlg/Structure/Number.o, dist/build/OAlg/Structure/Number.dyn_o ) [ 88 of 182] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, dist/build/OAlg/Entity/Sequence/Set.o, dist/build/OAlg/Entity/Sequence/Set.dyn_o ) src/OAlg/Entity/Sequence/Set.hs:88:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 88 | set = Set . amap1 head . group . sort | ^^^^ src/OAlg/Entity/Sequence/Set.hs:262:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 262 | lt xis = Node (fst $ head xisR) (lt xisL) (lt xisR) where | ^^^^ src/OAlg/Entity/Sequence/Set.hs:290:22: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 290 | return $ Set $ map head $ group $ sort xs | ^^^^ [ 89 of 182] Compiling OAlg.Entity.Sequence.Graph ( src/OAlg/Entity/Sequence/Graph.hs, dist/build/OAlg/Entity/Sequence/Graph.o, dist/build/OAlg/Entity/Sequence/Graph.dyn_o ) src/OAlg/Entity/Sequence/Graph.hs:152:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 152 | aggr abs = (fst $ head abs,Set $ amap1 snd abs) | ^^^^ [ 90 of 182] Compiling OAlg.Entity.Sequence.Definition ( src/OAlg/Entity/Sequence/Definition.hs, dist/build/OAlg/Entity/Sequence/Definition.o, dist/build/OAlg/Entity/Sequence/Definition.dyn_o ) src/OAlg/Entity/Sequence/Definition.hs:171:24: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 171 | image p xs = Set $ map head $ group $ sort $ map snd $ gphxs $ graph p xs | ^^^^ [ 91 of 182] Compiling OAlg.Entity.Sequence.PSequence ( src/OAlg/Entity/Sequence/PSequence.hs, dist/build/OAlg/Entity/Sequence/PSequence.o, dist/build/OAlg/Entity/Sequence/PSequence.dyn_o ) src/OAlg/Entity/Sequence/PSequence.hs:257:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggrBy: Patterns of type x -> x -> x, [(x, i)] not matched: _ [] | 257 | aggrBy (+) ((x,i):xis) = (foldl (+) x (map fst xis),i) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Entity/Sequence/PSequence.hs:264:26: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 264 | psqHead (PSequence xs) = head xs | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:271:37: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 271 | psqTail (PSequence xs) = PSequence (tail xs) | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:465:29: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 465 | toTree xis = Node (snd $ head r) (toTree l) (toTree r) where | ^^^^ [ 92 of 182] Compiling OAlg.Entity.Sequence.FSequence ( src/OAlg/Entity/Sequence/FSequence.hs, dist/build/OAlg/Entity/Sequence/FSequence.o, dist/build/OAlg/Entity/Sequence/FSequence.dyn_o ) [ 93 of 182] Compiling OAlg.Data.Variant ( src/OAlg/Data/Variant.hs, dist/build/OAlg/Data/Variant.o, dist/build/OAlg/Data/Variant.dyn_o ) src/OAlg/Data/Variant.hs:216:10: warning: [GHC-30606] [-Wredundant-constraints] Redundant constraint: CategoryDisjunctive c In the type signature for: vInv2 :: forall (c :: * -> * -> *) (v :: Variant) x y. CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | 216 | vInv2 :: CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | ^^^^^^^^^^^^^^^^^^^^^ [ 94 of 182] Compiling OAlg.Category.SDuality ( src/OAlg/Category/SDuality.hs, dist/build/OAlg/Category/SDuality.o, dist/build/OAlg/Category/SDuality.dyn_o ) [ 95 of 182] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, dist/build/OAlg/Hom/Definition.o, dist/build/OAlg/Hom/Definition.dyn_o ) [ 96 of 182] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, dist/build/OAlg/Hom/Oriented/Definition.o, dist/build/OAlg/Hom/Oriented/Definition.dyn_o ) [ 97 of 182] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, dist/build/OAlg/Hom/Oriented/Proposition.o, dist/build/OAlg/Hom/Oriented/Proposition.dyn_o ) [ 98 of 182] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, dist/build/OAlg/Hom/Oriented.o, dist/build/OAlg/Hom/Oriented.dyn_o ) [ 99 of 182] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, dist/build/OAlg/Hom/Multiplicative.o, dist/build/OAlg/Hom/Multiplicative.dyn_o ) src/OAlg/Hom/Multiplicative.hs:82:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Mlt h = HomMultiplicative h -- Defined at src/OAlg/Hom/Multiplicative.hs:82:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 82 | type instance Hom Mlt h = HomMultiplicative h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Multiplicative.hs:127:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Mlt h = HomMultiplicativeDisjunctive h -- Defined at src/OAlg/Hom/Multiplicative.hs:127:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 127 | type instance HomD Mlt h = HomMultiplicativeDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [100 of 182] Compiling OAlg.Hom.Fibred ( src/OAlg/Hom/Fibred.hs, dist/build/OAlg/Hom/Fibred.o, dist/build/OAlg/Hom/Fibred.dyn_o ) src/OAlg/Hom/Fibred.hs:72:10: warning: [GHC-30606] [-Wredundant-constraints] " Redundant constraint: Disjunctive2 h " In the instance declaration for HomFibred (Variant2 v h) | 72 | instance (HomFibred h, Disjunctive2 h) => HomFibred (Variant2 v h) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [101 of 182] Compiling OAlg.Hom.FibredOriented ( src/OAlg/Hom/FibredOriented.hs, dist/build/OAlg/Hom/FibredOriented.o, dist/build/OAlg/Hom/FibredOriented.dyn_o ) [102 of 182] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, dist/build/OAlg/Hom/Additive.o, dist/build/OAlg/Hom/Additive.dyn_o ) [103 of 182] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, dist/build/OAlg/Hom/Distributive.o, dist/build/OAlg/Hom/Distributive.dyn_o ) src/OAlg/Hom/Distributive.hs:62:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Dst h = HomDistributive h -- Defined at src/OAlg/Hom/Distributive.hs:62:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 62 | type instance Hom Dst h = HomDistributive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Distributive.hs:89:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Dst h = HomDistributiveDisjunctive h -- Defined at src/OAlg/Hom/Distributive.hs:89:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 89 | type instance HomD Dst h = HomDistributiveDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [104 of 182] Compiling OAlg.Entity.Slice.Sliced ( src/OAlg/Entity/Slice/Sliced.hs, dist/build/OAlg/Entity/Slice/Sliced.o, dist/build/OAlg/Entity/Slice/Sliced.dyn_o ) [105 of 182] Compiling OAlg.Data.Ornt ( src/OAlg/Data/Ornt.hs, dist/build/OAlg/Data/Ornt.o, dist/build/OAlg/Data/Ornt.dyn_o ) [106 of 182] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, dist/build/OAlg/Entity/Diagram/Definition.o, dist/build/OAlg/Entity/Diagram/Definition.dyn_o ) [107 of 182] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, dist/build/OAlg/Entity/Diagram/Proposition.o, dist/build/OAlg/Entity/Diagram/Proposition.dyn_o ) [108 of 182] Compiling OAlg.Entity.Diagram.Diagrammatic ( src/OAlg/Entity/Diagram/Diagrammatic.hs, dist/build/OAlg/Entity/Diagram/Diagrammatic.o, dist/build/OAlg/Entity/Diagram/Diagrammatic.dyn_o ) [109 of 182] Compiling OAlg.Data.HomCo ( src/OAlg/Data/HomCo.hs, dist/build/OAlg/Data/HomCo.o, dist/build/OAlg/Data/HomCo.dyn_o ) [110 of 182] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, dist/build/OAlg/Structure/Exponential.o, dist/build/OAlg/Structure/Exponential.dyn_o ) [111 of 182] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, dist/build/OAlg/Structure/Vectorial/Definition.o, dist/build/OAlg/Structure/Vectorial/Definition.dyn_o ) [112 of 182] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, dist/build/OAlg/Structure/Algebraic/Definition.o, dist/build/OAlg/Structure/Algebraic/Definition.dyn_o ) [113 of 182] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, dist/build/OAlg/Structure/Algebraic/Proposition.o, dist/build/OAlg/Structure/Algebraic/Proposition.dyn_o ) [114 of 182] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, dist/build/OAlg/Structure/Algebraic.o, dist/build/OAlg/Structure/Algebraic.dyn_o ) [115 of 182] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, dist/build/OAlg/Entity/Sum/Definition.o, dist/build/OAlg/Entity/Sum/Definition.dyn_o ) src/OAlg/Entity/Sum/Definition.hs:192:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggr: Patterns of type [(b, b1)] not matched: [] | 192 | aggr as@((_,a):_) = (foldr (+) rZero $ map fst as,a) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [116 of 182] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, dist/build/OAlg/Structure/Vectorial/Proposition.o, dist/build/OAlg/Structure/Vectorial/Proposition.dyn_o ) [117 of 182] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, dist/build/OAlg/Structure/Vectorial.o, dist/build/OAlg/Structure/Vectorial.dyn_o ) [118 of 182] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, dist/build/OAlg/Hom/Vectorial.o, dist/build/OAlg/Hom/Vectorial.dyn_o ) [119 of 182] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, dist/build/OAlg/Hom/Proposition.o, dist/build/OAlg/Hom/Proposition.dyn_o ) [120 of 182] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, dist/build/OAlg/Hom/Algebraic.o, dist/build/OAlg/Hom/Algebraic.dyn_o ) [121 of 182] Compiling OAlg.Hom ( src/OAlg/Hom.hs, dist/build/OAlg/Hom.o, dist/build/OAlg/Hom.dyn_o ) [122 of 182] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, dist/build/OAlg/Entity/Product/Definition.o, dist/build/OAlg/Entity/Product/Definition.dyn_o ) src/OAlg/Entity/Product/Definition.hs:307:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggr: Patterns of type [(a, b)] not matched: [] | 307 | aggr as@((a,_):_) = (a,foldl (+) rZero $ map snd as) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Entity/Product/Definition.hs:317:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for fct: Patterns of type [t], t not matched: [] p where p is not one of {1} | 317 | fct _ 1 = [] | ^^^^^^^^^^^^^^... src/OAlg/Entity/Product/Definition.hs:330:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for fct: Patterns of type [N], N not matched: [] p where p is not one of {1} | 330 | fct _ 1 = [] | ^^^^^^^^^^^^... [123 of 182] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, dist/build/OAlg/Entity/Product/Proposition.o, dist/build/OAlg/Entity/Product/Proposition.dyn_o ) [124 of 182] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, dist/build/OAlg/Entity/Product/ProductSymbol.o, dist/build/OAlg/Entity/Product/ProductSymbol.dyn_o ) [125 of 182] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, dist/build/OAlg/Entity/Sequence/CSequence.o, dist/build/OAlg/Entity/Sequence/CSequence.dyn_o ) [126 of 182] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, dist/build/OAlg/Entity/Product.o, dist/build/OAlg/Entity/Product.dyn_o ) [127 of 182] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, dist/build/OAlg/Entity/Sequence/Permutation.o, dist/build/OAlg/Entity/Sequence/Permutation.dyn_o ) src/OAlg/Entity/Sequence/Permutation.hs:575:40: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 575 | is''' <- xp (pred l) (is' ++ tail is'') | ^^^^ src/OAlg/Entity/Sequence/Permutation.hs:576:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 576 | return (head is'':is''') | ^^^^ [128 of 182] Compiling OAlg.Entity.Sequence ( src/OAlg/Entity/Sequence.hs, dist/build/OAlg/Entity/Sequence.o, dist/build/OAlg/Entity/Sequence.dyn_o ) [129 of 182] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, dist/build/OAlg/Entity/Matrix/Entries.o, dist/build/OAlg/Entity/Matrix/Entries.dyn_o ) src/OAlg/Entity/Matrix/Entries.hs:620:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for join: Patterns of type [(o, i)], [(o, j)], [(Row j (Entries i j x), i)] not matched: [] _ (_:_) | 620 | join _ _ [] = colEmpty | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/OAlg/Entity/Matrix/Entries.hs:632:5: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for shRow: Patterns of type [(j, j)], [(Entries o j x, j)] not matched: [] (_:_) | 632 | shRow _ [] = [] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [130 of 182] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, dist/build/OAlg/Entity/Matrix/Dim.o, dist/build/OAlg/Entity/Matrix/Dim.dyn_o ) [131 of 182] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, dist/build/OAlg/Adjunction/Definition.o, dist/build/OAlg/Adjunction/Definition.dyn_o ) [132 of 182] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, dist/build/OAlg/Entity/Sum/SumSymbol.o, dist/build/OAlg/Entity/Sum/SumSymbol.dyn_o ) [133 of 182] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, dist/build/OAlg/Entity/Sum.o, dist/build/OAlg/Entity/Sum.dyn_o ) [134 of 182] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, dist/build/OAlg/Entity/Diagram/Transformation.o, dist/build/OAlg/Entity/Diagram/Transformation.dyn_o ) [135 of 182] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, dist/build/OAlg/Entity/Diagram.o, dist/build/OAlg/Entity/Diagram.dyn_o ) [136 of 182] Compiling OAlg.Limes.Exact.ConsecutiveZero ( src/OAlg/Limes/Exact/ConsecutiveZero.hs, dist/build/OAlg/Limes/Exact/ConsecutiveZero.o, dist/build/OAlg/Limes/Exact/ConsecutiveZero.dyn_o ) [137 of 182] Compiling OAlg.Limes.Cone.Core ( src/OAlg/Limes/Cone/Core.hs, dist/build/OAlg/Limes/Cone/Core.o, dist/build/OAlg/Limes/Cone/Core.dyn_o ) [138 of 182] Compiling OAlg.Limes.Cone.Duality ( src/OAlg/Limes/Cone/Duality.hs, dist/build/OAlg/Limes/Cone/Duality.o, dist/build/OAlg/Limes/Cone/Duality.dyn_o ) [139 of 182] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, dist/build/OAlg/Limes/Cone/Definition.o, dist/build/OAlg/Limes/Cone/Definition.dyn_o ) [140 of 182] Compiling OAlg.Limes.Cone.FactorChain ( src/OAlg/Limes/Cone/FactorChain.hs, dist/build/OAlg/Limes/Cone/FactorChain.o, dist/build/OAlg/Limes/Cone/FactorChain.dyn_o ) [141 of 182] Compiling OAlg.Limes.Cone.Conic.Core ( src/OAlg/Limes/Cone/Conic/Core.hs, dist/build/OAlg/Limes/Cone/Conic/Core.o, dist/build/OAlg/Limes/Cone/Conic/Core.dyn_o ) [142 of 182] Compiling OAlg.Limes.Cone.Conic.Duality ( src/OAlg/Limes/Cone/Conic/Duality.hs, dist/build/OAlg/Limes/Cone/Conic/Duality.o, dist/build/OAlg/Limes/Cone/Conic/Duality.dyn_o ) [143 of 182] Compiling OAlg.Limes.Cone.Conic ( src/OAlg/Limes/Cone/Conic.hs, dist/build/OAlg/Limes/Cone/Conic.o, dist/build/OAlg/Limes/Cone/Conic.dyn_o ) [144 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Core ( src/OAlg/Limes/Cone/ZeroHead/Core.hs, dist/build/OAlg/Limes/Cone/ZeroHead/Core.o, dist/build/OAlg/Limes/Cone/ZeroHead/Core.dyn_o ) [145 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Duality ( src/OAlg/Limes/Cone/ZeroHead/Duality.hs, dist/build/OAlg/Limes/Cone/ZeroHead/Duality.o, dist/build/OAlg/Limes/Cone/ZeroHead/Duality.dyn_o ) [146 of 182] Compiling OAlg.Limes.Cone.ZeroHead ( src/OAlg/Limes/Cone/ZeroHead.hs, dist/build/OAlg/Limes/Cone/ZeroHead.o, dist/build/OAlg/Limes/Cone/ZeroHead.dyn_o ) [147 of 182] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, dist/build/OAlg/Limes/Cone.o, dist/build/OAlg/Limes/Cone.dyn_o ) [148 of 182] Compiling OAlg.Limes.Definition.Core ( src/OAlg/Limes/Definition/Core.hs, dist/build/OAlg/Limes/Definition/Core.o, dist/build/OAlg/Limes/Definition/Core.dyn_o ) [149 of 182] Compiling OAlg.Limes.Definition.Duality ( src/OAlg/Limes/Definition/Duality.hs, dist/build/OAlg/Limes/Definition/Duality.o, dist/build/OAlg/Limes/Definition/Duality.dyn_o ) [150 of 182] Compiling OAlg.Limes.Definition.Proposition ( src/OAlg/Limes/Definition/Proposition.hs, dist/build/OAlg/Limes/Definition/Proposition.o, dist/build/OAlg/Limes/Definition/Proposition.dyn_o ) [151 of 182] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, dist/build/OAlg/Limes/Definition.o, dist/build/OAlg/Limes/Definition.dyn_o ) [152 of 182] Compiling OAlg.Limes.Limits.Core ( src/OAlg/Limes/Limits/Core.hs, dist/build/OAlg/Limes/Limits/Core.o, dist/build/OAlg/Limes/Limits/Core.dyn_o ) [153 of 182] Compiling OAlg.Limes.Limits.Proposition ( src/OAlg/Limes/Limits/Proposition.hs, dist/build/OAlg/Limes/Limits/Proposition.o, dist/build/OAlg/Limes/Limits/Proposition.dyn_o ) [154 of 182] Compiling OAlg.Limes.Limits.Duality ( src/OAlg/Limes/Limits/Duality.hs, dist/build/OAlg/Limes/Limits/Duality.o, dist/build/OAlg/Limes/Limits/Duality.dyn_o ) [155 of 182] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, dist/build/OAlg/Limes/Limits.o, dist/build/OAlg/Limes/Limits.dyn_o ) [156 of 182] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, dist/build/OAlg/Limes/TerminalAndInitialPoint.o, dist/build/OAlg/Limes/TerminalAndInitialPoint.dyn_o ) [157 of 182] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, dist/build/OAlg/Limes/MinimaAndMaxima.o, dist/build/OAlg/Limes/MinimaAndMaxima.dyn_o ) [158 of 182] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, dist/build/OAlg/Limes/ProductsAndSums.o, dist/build/OAlg/Limes/ProductsAndSums.dyn_o ) [159 of 182] Compiling OAlg.Limes.Exact.ZeroPoint ( src/OAlg/Limes/Exact/ZeroPoint.hs, dist/build/OAlg/Limes/Exact/ZeroPoint.o, dist/build/OAlg/Limes/Exact/ZeroPoint.dyn_o ) [160 of 182] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, dist/build/OAlg/Limes/EqualizersAndCoequalizers.o, dist/build/OAlg/Limes/EqualizersAndCoequalizers.dyn_o ) [161 of 182] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, dist/build/OAlg/Limes/PullbacksAndPushouts.o, dist/build/OAlg/Limes/PullbacksAndPushouts.dyn_o ) [162 of 182] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, dist/build/OAlg/Limes/KernelsAndCokernels.o, dist/build/OAlg/Limes/KernelsAndCokernels.dyn_o ) [163 of 182] Compiling OAlg.Limes.Exact.Deviation ( src/OAlg/Limes/Exact/Deviation.hs, dist/build/OAlg/Limes/Exact/Deviation.o, dist/build/OAlg/Limes/Exact/Deviation.dyn_o ) [164 of 182] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, dist/build/OAlg/Limes/Proposition.o, dist/build/OAlg/Limes/Proposition.dyn_o ) [165 of 182] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, dist/build/OAlg/Entity/Slice/Definition.o, dist/build/OAlg/Entity/Slice/Definition.dyn_o ) [166 of 182] Compiling OAlg.Entity.Slice.Liftable ( src/OAlg/Entity/Slice/Liftable.hs, dist/build/OAlg/Entity/Slice/Liftable.o, dist/build/OAlg/Entity/Slice/Liftable.dyn_o ) [167 of 182] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, dist/build/OAlg/Entity/Slice/Free.o, dist/build/OAlg/Entity/Slice/Free.dyn_o ) [168 of 182] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, dist/build/OAlg/Entity/Matrix/Definition.o, dist/build/OAlg/Entity/Matrix/Definition.dyn_o ) [169 of 182] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, dist/build/OAlg/Entity/Matrix/Vector.o, dist/build/OAlg/Entity/Matrix/Vector.dyn_o ) [170 of 182] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, dist/build/OAlg/Entity/Matrix/ProductsAndSums.o, dist/build/OAlg/Entity/Matrix/ProductsAndSums.dyn_o ) [171 of 182] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, dist/build/OAlg/Entity/Matrix/Proposition.o, dist/build/OAlg/Entity/Matrix/Proposition.dyn_o ) [172 of 182] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, dist/build/OAlg/Entity/Matrix/GeneralLinearGroup.o, dist/build/OAlg/Entity/Matrix/GeneralLinearGroup.dyn_o ) [173 of 182] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, dist/build/OAlg/Entity/Matrix/Transformation.o, dist/build/OAlg/Entity/Matrix/Transformation.dyn_o ) [174 of 182] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, dist/build/OAlg/Entity/Matrix.o, dist/build/OAlg/Entity/Matrix.dyn_o ) [175 of 182] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, dist/build/OAlg/Proposition.o, dist/build/OAlg/Proposition.dyn_o ) [176 of 182] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, dist/build/OAlg/Adjunction/Limes.o, dist/build/OAlg/Adjunction/Limes.dyn_o ) [177 of 182] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, dist/build/OAlg/Adjunction.o, dist/build/OAlg/Adjunction.dyn_o ) [178 of 182] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, dist/build/OAlg/Entity/Slice/Adjunction.o, dist/build/OAlg/Entity/Slice/Adjunction.dyn_o ) src/OAlg/Entity/Slice/Adjunction.hs:177:3: warning: [GHC-30606] [-Wredundant-constraints] " Redundant constraint: FunctorialOriented h " In the instance declaration for FunctorialG (SDualBi (DiagramG (SliceDiagram i) t n m)) h (->) | 177 | ( CategoryDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^... [179 of 182] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, dist/build/OAlg/Entity/Slice.o, dist/build/OAlg/Entity/Slice.dyn_o ) [180 of 182] Compiling OAlg.Limes.Exact.Free ( src/OAlg/Limes/Exact/Free.hs, dist/build/OAlg/Limes/Exact/Free.o, dist/build/OAlg/Limes/Exact/Free.dyn_o ) [181 of 182] Compiling OAlg.Data.FinitelyPresentable ( src/OAlg/Data/FinitelyPresentable.hs, dist/build/OAlg/Data/FinitelyPresentable.o, dist/build/OAlg/Data/FinitelyPresentable.dyn_o ) [182 of 182] Compiling Paths_oalg_base ( dist/build/autogen/Paths_oalg_base.hs, dist/build/Paths_oalg_base.o, dist/build/Paths_oalg_base.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1154587/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/oalg-base-3.0.0.0-227b987eb544ba36d80f4adbcfad7b07d531467bb40c4d74e4ec016e39f44756/lib Configuring oalg-abg-2.0.0.0... Preprocessing library for oalg-abg-2.0.0.0.. Building library for oalg-abg-2.0.0.0.. [ 1 of 10] Compiling OAlg.AbelianGroup.Euclid ( src/OAlg/AbelianGroup/Euclid.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Euclid.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Euclid.dyn_o ) [ 2 of 10] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free/SmithNormalForm.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free/SmithNormalForm.dyn_o ) [ 3 of 10] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free/Limes.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free/Limes.dyn_o ) [ 4 of 10] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Free.dyn_o ) [ 5 of 10] Compiling OAlg.AbelianGroup.Liftable ( src/OAlg/AbelianGroup/Liftable.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Liftable.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Liftable.dyn_o ) src/OAlg/AbelianGroup/Liftable.hs:86:16: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Closure N not matched: PosInf | 86 | where j' = case yClsReached of | ^^^^^^^^^^^^^^^^^^^^... src/OAlg/AbelianGroup/Liftable.hs:104:42: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Ordering not matched: GT | 104 | lftCol ((d,i):dis) yis@((y,i'):yis') = case i `compare` i' of | ^^^^^^^^^^^^^^^^^^^^^^^... [ 6 of 10] Compiling OAlg.AbelianGroup.ZMod ( src/OAlg/AbelianGroup/ZMod.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/ZMod.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/ZMod.dyn_o ) [ 7 of 10] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Definition.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Definition.dyn_o ) [ 8 of 10] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/KernelsAndCokernels.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/KernelsAndCokernels.dyn_o ) [ 9 of 10] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Proposition.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/OAlg/AbelianGroup/Proposition.dyn_o ) [10 of 10] Compiling Paths_oalg_abg ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/autogen/Paths_oalg_abg.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/Paths_oalg_abg.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/Paths_oalg_abg.dyn_o ) Preprocessing test suite 'oalg-abg-test' for oalg-abg-2.0.0.0.. Building test suite 'oalg-abg-test' for oalg-abg-2.0.0.0.. [1 of 2] Compiling Main ( test/Spec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test-tmp/Main.o ) [2 of 2] Compiling Paths_oalg_abg ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/oalg-abg-test/autogen/Paths_oalg_abg.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test-tmp/Paths_oalg_abg.o ) [3 of 3] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/build/oalg-abg-test/oalg-abg-test Running 1 test suites... Test suite oalg-abg-test: RUNNING... Test suite oalg-abg-test: PASS Test suite logged to: /var/lib/hackage-doc-builder/build-cache/tmp-install/reports/oalg-abg-2.0.0.0.test Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Free.SmithNormalForm.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Free.Limes.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.ZMod.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Liftable.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.KernelsAndCokernels.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Euclid.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Definition.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Proposition.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/hpc/vanilla/html/oalg-abg-test/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Free.SmithNormalForm.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Free.Limes.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.ZMod.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Liftable.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.KernelsAndCokernels.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Euclid.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Definition.hs.html Writing: oalg-abg-2.0.0.0-inplace/OAlg.AbelianGroup.Proposition.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/oalg-abg-2.0.0.0/noopt/hpc/vanilla/html/oalg-abg-2.0.0.0/hpc_index.html