[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-10-03 20:26:27.580280859 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, oalg-base-3.0.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 63% (3212/5076) |
|---|
| boolean | guards | 27% (15/54) |
|---|
| conditions | 40% (6/15) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 50% (120/236) |
|---|
| local declarations | 73% (269/365) |
|---|
| top-level declarations | 41% (149/359) |
|---|
Build log
[view raw]
Resolving dependencies...
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 )
Preprocessing library for splitmix-0.1.3.1..
Running Haddock on library for splitmix-0.1.3.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, nothing )
[2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, nothing )
[3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, nothing )
[4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, nothing )
Haddock coverage:
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix.hs:77:14
* at src/System/Random/SplitMix.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/SplitMix.hs:77:1
100% ( 22 / 22) in 'System.Random.SplitMix'
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix32.hs:61:14
* at src/System/Random/SplitMix32.hs:61:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/SplitMix32.hs:61:1
100% ( 22 / 22) in 'System.Random.SplitMix32'
Documentation created: dist/doc/html/splitmix/,
dist/doc/html/splitmix/splitmix.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/splitmix-0.1.3.1-FLXrwOMCBr82OHyMQoNXPe
Completed splitmix-0.1.3.1
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 )
Preprocessing library for random-1.3.1..
Running Haddock on library for random-1.3.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, nothing )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, nothing )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, nothing )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, nothing )
[5 of 6] Compiling System.Random ( src/System/Random.hs, nothing )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, nothing )
Haddock coverage:
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'StateGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:612:22
* at src/System/Random/Internal.hs:612:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:612:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'MutableByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateT' is ambiguous. It is defined
* in Control.Monad.Trans.State.Strict
* in Control.Monad.Trans.State.Strict
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Control.Monad.Trans.State.Strict
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'uniformByteStringM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
100% ( 71 / 71) in 'System.Random'
Warning: 'TGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:719:19
* at src/System/Random/Stateful.hs:719:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:719:1
Warning: 'STGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:618:22
* at src/System/Random/Stateful.hs:618:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:618:1
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'IOGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:542:20
* at src/System/Random/Stateful.hs:542:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:542:1
Warning: 'AtomicGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:428:24
* at src/System/Random/Stateful.hs:428:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:428:1
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'IOGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:547:19
* at src/System/Random/Stateful.hs:547:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:547:1
Warning: 'STGenM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:623:19
* at src/System/Random/Stateful.hs:623:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:623:1
Warning: 'clearBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'testBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% (137 /137) in 'System.Random.Stateful'
Warning: System.Random: could not find link destinations for:
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:SeedSizeTGen
Warning: System.Random.Stateful: could not find link destinations for:
- System.Random.GFinite.GFinite
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Internal.GUniformRange
- System.Random.Internal.GUniform
- System.Random.Internal.D:R:MutableGenStateGenm
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:MutableGenAtomicGenm
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:MutableGenIOGenm
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:MutableGenSTGenST
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:MutableGenTGenSTM
- System.Random.Stateful.D:R:SeedSizeTGen
Documentation created: dist/doc/html/random/, dist/doc/html/random/random.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/random-1.3.1-3HmCudIQHVrG4RNMrw37d7
Completed random-1.3.1
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 )
[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 )
Preprocessing library for oalg-base-3.0.0.0..
Running Haddock on library for oalg-base-3.0.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 182] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, nothing )
[ 2 of 182] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, nothing )
[ 3 of 182] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, nothing )
[ 4 of 182] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, nothing )
[ 5 of 182] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, nothing )
[ 6 of 182] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, nothing )
[ 7 of 182] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, nothing )
[ 8 of 182] Compiling OAlg.Data.Filterable ( src/OAlg/Data/Filterable.hs, nothing )
[ 9 of 182] Compiling OAlg.Data.Logical ( src/OAlg/Data/Logical.hs, nothing )
[ 10 of 182] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, nothing )
[ 11 of 182] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, nothing )
[ 12 of 182] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, nothing )
[ 13 of 182] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, nothing )
[ 14 of 182] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, nothing )
[ 15 of 182] Compiling OAlg.Data.Proxy ( src/OAlg/Data/Proxy.hs, nothing )
[ 16 of 182] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, nothing )
[ 17 of 182] Compiling OAlg.Data.Relation ( src/OAlg/Data/Relation.hs, nothing )
[ 18 of 182] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, nothing )
[ 19 of 182] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, nothing )
[ 20 of 182] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, nothing )
[ 21 of 182] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, nothing )
[ 22 of 182] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, nothing )
[ 23 of 182] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, nothing )
[ 24 of 182] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, nothing )
[ 25 of 182] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, nothing )
[ 26 of 182] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, nothing )
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, nothing )
[ 28 of 182] Compiling OAlg.Data.EqualExtensional ( src/OAlg/Data/EqualExtensional.hs, nothing )
[ 29 of 182] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, nothing )
[ 30 of 182] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, nothing )
[ 31 of 182] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, nothing )
[ 32 of 182] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, nothing )
[ 33 of 182] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, nothing )
[ 34 of 182] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, nothing )
[ 35 of 182] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, nothing )
[ 36 of 182] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, nothing )
[ 37 of 182] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, nothing )
[ 38 of 182] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, nothing )
[ 39 of 182] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, nothing )
[ 40 of 182] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, nothing )
[ 41 of 182] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, nothing )
[ 42 of 182] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, nothing )
[ 43 of 182] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, nothing )
[ 44 of 182] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, nothing )
[ 45 of 182] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, nothing )
[ 46 of 182] Compiling OAlg.Category.NaturalTransformable ( src/OAlg/Category/NaturalTransformable.hs, nothing )
[ 47 of 182] Compiling OAlg.Category.Map ( src/OAlg/Category/Map.hs, nothing )
[ 48 of 182] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, nothing )
[ 49 of 182] Compiling OAlg.Structure.Oriented.Point ( src/OAlg/Structure/Oriented/Point.hs, nothing )
[ 50 of 182] Compiling OAlg.Structure.Oriented.Orientation ( src/OAlg/Structure/Oriented/Orientation.hs, nothing )
[ 51 of 182] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, nothing )
[ 52 of 182] Compiling OAlg.Structure.Oriented.Opposite ( src/OAlg/Structure/Oriented/Opposite.hs, nothing )
[ 53 of 182] Compiling OAlg.Structure.Oriented.Path ( src/OAlg/Structure/Oriented/Path.hs, nothing )
[ 54 of 182] Compiling OAlg.Structure.Oriented.X ( src/OAlg/Structure/Oriented/X.hs, nothing )
[ 55 of 182] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, nothing )
[ 56 of 182] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, nothing )
[ 57 of 182] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, nothing )
[ 58 of 182] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, nothing )
[ 59 of 182] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, nothing )
[ 60 of 182] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, nothing )
[ 61 of 182] Compiling OAlg.Structure.Fibred.Root ( src/OAlg/Structure/Fibred/Root.hs, nothing )
[ 62 of 182] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, nothing )
[ 63 of 182] Compiling OAlg.Structure.FibredOriented ( src/OAlg/Structure/FibredOriented.hs, nothing )
[ 64 of 182] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, nothing )
[ 65 of 182] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, nothing )
[ 66 of 182] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, nothing )
[ 67 of 182] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, nothing )
[ 68 of 182] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, nothing )
[ 69 of 182] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, nothing )
[ 70 of 182] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, nothing )
[ 71 of 182] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, nothing )
[ 72 of 182] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, nothing )
[ 73 of 182] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, nothing )
[ 74 of 182] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, nothing )
[ 75 of 182] Compiling OAlg.Category.Dualisable ( src/OAlg/Category/Dualisable.hs, nothing )
[ 76 of 182] Compiling OAlg.Limes.Cone.Structure ( src/OAlg/Limes/Cone/Structure.hs, nothing )
[ 77 of 182] Compiling OAlg.Structure.PartiallyOrdered.Definition ( src/OAlg/Structure/PartiallyOrdered/Definition.hs, nothing )
[ 78 of 182] Compiling OAlg.Structure.Lattice.Definition ( src/OAlg/Structure/Lattice/Definition.hs, nothing )
[ 79 of 182] Compiling OAlg.Structure.PartiallyOrdered.Proposition ( src/OAlg/Structure/PartiallyOrdered/Proposition.hs, nothing )
[ 80 of 182] Compiling OAlg.Structure.PartiallyOrdered ( src/OAlg/Structure/PartiallyOrdered.hs, nothing )
[ 81 of 182] Compiling OAlg.Structure.Lattice.Proposition ( src/OAlg/Structure/Lattice/Proposition.hs, nothing )
[ 82 of 182] Compiling OAlg.Structure.Lattice ( src/OAlg/Structure/Lattice.hs, nothing )
[ 83 of 182] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, nothing )
[ 84 of 182] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, nothing )
[ 85 of 182] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, nothing )
[ 86 of 182] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, nothing )
[ 87 of 182] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, nothing )
[ 88 of 182] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, nothing )
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, nothing )
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, nothing )
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, nothing )
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, nothing )
[ 93 of 182] Compiling OAlg.Data.Variant ( src/OAlg/Data/Variant.hs, nothing )
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, nothing )
[ 95 of 182] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, nothing )
[ 96 of 182] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, nothing )
[ 97 of 182] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, nothing )
[ 98 of 182] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, nothing )
[ 99 of 182] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, nothing )
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, nothing )
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, nothing )
[102 of 182] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, nothing )
[103 of 182] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, nothing )
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, nothing )
[105 of 182] Compiling OAlg.Data.Ornt ( src/OAlg/Data/Ornt.hs, nothing )
[106 of 182] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, nothing )
[107 of 182] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, nothing )
[108 of 182] Compiling OAlg.Entity.Diagram.Diagrammatic ( src/OAlg/Entity/Diagram/Diagrammatic.hs, nothing )
[109 of 182] Compiling OAlg.Data.HomCo ( src/OAlg/Data/HomCo.hs, nothing )
[110 of 182] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, nothing )
[111 of 182] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, nothing )
[112 of 182] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, nothing )
[113 of 182] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, nothing )
[114 of 182] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, nothing )
[115 of 182] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, nothing )
[116 of 182] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, nothing )
[117 of 182] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, nothing )
[118 of 182] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, nothing )
[119 of 182] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, nothing )
[120 of 182] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, nothing )
[121 of 182] Compiling OAlg.Hom ( src/OAlg/Hom.hs, nothing )
[122 of 182] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, nothing )
[123 of 182] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, nothing )
[124 of 182] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, nothing )
[125 of 182] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, nothing )
[126 of 182] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, nothing )
[127 of 182] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, nothing )
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, nothing )
[129 of 182] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, nothing )
[130 of 182] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, nothing )
[131 of 182] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, nothing )
[132 of 182] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, nothing )
[133 of 182] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, nothing )
[134 of 182] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, nothing )
[135 of 182] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, nothing )
[136 of 182] Compiling OAlg.Limes.Exact.ConsecutiveZero ( src/OAlg/Limes/Exact/ConsecutiveZero.hs, nothing )
[137 of 182] Compiling OAlg.Limes.Cone.Core ( src/OAlg/Limes/Cone/Core.hs, nothing )
[138 of 182] Compiling OAlg.Limes.Cone.Duality ( src/OAlg/Limes/Cone/Duality.hs, nothing )
[139 of 182] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, nothing )
[140 of 182] Compiling OAlg.Limes.Cone.FactorChain ( src/OAlg/Limes/Cone/FactorChain.hs, nothing )
[141 of 182] Compiling OAlg.Limes.Cone.Conic.Core ( src/OAlg/Limes/Cone/Conic/Core.hs, nothing )
[142 of 182] Compiling OAlg.Limes.Cone.Conic.Duality ( src/OAlg/Limes/Cone/Conic/Duality.hs, nothing )
[143 of 182] Compiling OAlg.Limes.Cone.Conic ( src/OAlg/Limes/Cone/Conic.hs, nothing )
[144 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Core ( src/OAlg/Limes/Cone/ZeroHead/Core.hs, nothing )
[145 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Duality ( src/OAlg/Limes/Cone/ZeroHead/Duality.hs, nothing )
[146 of 182] Compiling OAlg.Limes.Cone.ZeroHead ( src/OAlg/Limes/Cone/ZeroHead.hs, nothing )
[147 of 182] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, nothing )
[148 of 182] Compiling OAlg.Limes.Definition.Core ( src/OAlg/Limes/Definition/Core.hs, nothing )
[149 of 182] Compiling OAlg.Limes.Definition.Duality ( src/OAlg/Limes/Definition/Duality.hs, nothing )
[150 of 182] Compiling OAlg.Limes.Definition.Proposition ( src/OAlg/Limes/Definition/Proposition.hs, nothing )
[151 of 182] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, nothing )
[152 of 182] Compiling OAlg.Limes.Limits.Core ( src/OAlg/Limes/Limits/Core.hs, nothing )
[153 of 182] Compiling OAlg.Limes.Limits.Proposition ( src/OAlg/Limes/Limits/Proposition.hs, nothing )
[154 of 182] Compiling OAlg.Limes.Limits.Duality ( src/OAlg/Limes/Limits/Duality.hs, nothing )
[155 of 182] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, nothing )
[156 of 182] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, nothing )
[157 of 182] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, nothing )
[158 of 182] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, nothing )
[159 of 182] Compiling OAlg.Limes.Exact.ZeroPoint ( src/OAlg/Limes/Exact/ZeroPoint.hs, nothing )
[160 of 182] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, nothing )
[161 of 182] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, nothing )
[162 of 182] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, nothing )
[163 of 182] Compiling OAlg.Limes.Exact.Deviation ( src/OAlg/Limes/Exact/Deviation.hs, nothing )
[164 of 182] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, nothing )
[165 of 182] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, nothing )
[166 of 182] Compiling OAlg.Entity.Slice.Liftable ( src/OAlg/Entity/Slice/Liftable.hs, nothing )
[167 of 182] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, nothing )
[168 of 182] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, nothing )
[169 of 182] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, nothing )
[170 of 182] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, nothing )
[171 of 182] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, nothing )
[172 of 182] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, nothing )
[173 of 182] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, nothing )
[174 of 182] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, nothing )
[175 of 182] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, nothing )
[176 of 182] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, nothing )
[177 of 182] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, nothing )
[178 of 182] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, nothing )
[179 of 182] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, nothing )
[180 of 182] Compiling OAlg.Limes.Exact.Free ( src/OAlg/Limes/Exact/Free.hs, nothing )
[181 of 182] Compiling OAlg.Data.FinitelyPresentable ( src/OAlg/Data/FinitelyPresentable.hs, nothing )
[182 of 182] Compiling Paths_oalg_base ( dist/build/autogen/Paths_oalg_base.hs, nothing )
Haddock coverage:
100% ( 5 / 5) in 'OAlg.Control.Action'
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
100% ( 10 / 10) in 'OAlg.Control.Exception'
Warning: 'HNFValue' is ambiguous. It is defined
* at src/OAlg/Control/HNFData.hs:27:19
* at src/OAlg/Control/HNFData.hs:27:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/HNFData.hs:27:1
Warning: 'SomeException' is ambiguous. It is defined
* in GHC.Exception.Type
* in GHC.Exception.Type
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Exception.Type
100% ( 5 / 5) in 'OAlg.Control.HNFData'
100% ( 7 / 7) in 'OAlg.Control.Solver'
100% ( 7 / 7) in 'OAlg.Data.Constructable'
Warning: 'Dl1' is ambiguous. It is defined
* at src/OAlg/Data/Dualisable.hs:63:19
* at src/OAlg/Data/Dualisable.hs:63:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Dualisable.hs:63:1
Warning: 'Proxy' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 24 / 24) in 'OAlg.Data.Dualisable'
100% ( 10 / 10) in 'OAlg.Data.Equal'
100% ( 2 / 2) in 'OAlg.Data.Filterable'
100% ( 4 / 4) in 'OAlg.Data.Logical'
85% ( 6 / 7) in 'OAlg.Data.Boolean.Definition'
Missing documentation for:
Bool
100% ( 4 / 4) in 'OAlg.Data.Canonical'
100% ( 4 / 4) in 'OAlg.Data.Maybe'
100% ( 21 / 21) in 'OAlg.Data.Number'
100% ( 16 / 16) in 'OAlg.Data.Ord'
100% ( 4 / 4) in 'OAlg.Data.Proxy'
Warning: 'Action' is ambiguous. It is defined
* at src/OAlg/Control/Action.hs:19:22
* at src/OAlg/Control/Action.hs:19:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Action.hs:19:1
100% ( 8 / 8) in 'OAlg.Data.Reducible'
100% ( 3 / 3) in 'OAlg.Data.Relation'
100% ( 12 / 12) in 'OAlg.Data.Show'
100% ( 9 / 9) in 'OAlg.Data.Either'
100% ( 11 / 11) in 'OAlg.Control.Verbose'
100% ( 6 / 6) in 'OAlg.Data.Singleton'
100% ( 3 / 3) in 'OAlg.Data.Singular'
100% ( 6 / 6) in 'OAlg.Data.Statistics'
100% ( 4 / 4) in 'OAlg.Data.Tree'
100% ( 2 / 2) in 'OAlg.Data.TypeLits'
Warning: 'X' is ambiguous. It is defined
* at src/OAlg/Data/X.hs:120:12
* at src/OAlg/Data/X.hs:120:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/X.hs:120:1
Warning: 'Omega' is ambiguous. It is defined
* at src/OAlg/Data/X.hs:81:14
* at src/OAlg/Data/X.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/X.hs:81:1
100% ( 50 / 50) in 'OAlg.Data.X'
Warning: 'Valid' is ambiguous. It is defined
* at src/OAlg/Data/Statement/Definition.hs:289:58
* at src/OAlg/Data/Statement/Definition.hs:289:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:289:1
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
Warning: 'SomeException' is ambiguous. It is defined
* in GHC.Exception.Type
* in GHC.Exception.Type
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Exception.Type
Warning: 'Label' is ambiguous. It is defined
* at src/OAlg/Data/Statement/Definition.hs:112:5
* at src/OAlg/Data/Statement/Definition.hs:111:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:111:1
100% ( 44 / 44) in 'OAlg.Data.Statement.Definition'
100% ( 3 / 3) in 'OAlg.Data.EqualExtensional'
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 11 / 11) in 'OAlg.Category.Applicative'
100% ( 27 / 27) in 'OAlg.Structure.Definition'
Warning: 'Inv2' is ambiguous. It is defined
* at src/OAlg/Category/Definition.hs:451:19
* at src/OAlg/Category/Definition.hs:451:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Sub' is ambiguous. It is defined
* at src/OAlg/Category/Definition.hs:358:3
* at src/OAlg/Category/Definition.hs:357:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Definition.hs:357:1
100% ( 50 / 50) in 'OAlg.Category.Definition'
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Id' is ambiguous. It is defined
* at src/OAlg/Data/Identity.hs:50:16
* at src/OAlg/Data/Identity.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1
100% ( 17 / 17) in 'OAlg.Data.Identity'
100% ( 18 / 18) in 'OAlg.Data.Validable'
100% ( 16 / 16) in 'OAlg.Entity.Definition'
100% ( 3 / 3) in 'OAlg.Data.Symbol'
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 30 / 30) in 'OAlg.Data.Boolean.Proposition'
100% ( 3 / 3) in 'OAlg.Data.Boolean'
Warning: 'Valid' is ambiguous. It is defined
* at src/OAlg/Data/Statement/Definition.hs:289:58
* at src/OAlg/Data/Statement/Definition.hs:289:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:289:1
100% ( 11 / 11) in 'OAlg.Data.Statement.Proposition'
100% ( 3 / 3) in 'OAlg.Data.Statement'
100% ( 11 / 11) in 'OAlg.Control.Validate'
100% ( 10 / 10) in 'OAlg.Category.Path'
100% ( 18 / 18) in 'OAlg.Category.Unify'
Warning: 'SomeObjectClass' is ambiguous. It is defined
* at src/OAlg/Category/Unify.hs:159:3
* at src/OAlg/Category/Unify.hs:158:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Unify.hs:158:1
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
Warning: 'Inv2' is ambiguous. It is defined
* at src/OAlg/Category/Definition.hs:451:19
* at src/OAlg/Category/Definition.hs:451:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1
100% ( 34 / 34) in 'OAlg.Category.Proposition'
100% ( 43 / 43) in 'OAlg.Prelude'
100% ( 3 / 3) in 'OAlg.Limes.Perspective'
100% ( 14 / 14) in 'OAlg.Category.NaturalTransformable'
100% ( 2 / 2) in 'OAlg.Category.Map'
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
100% ( 2 / 2) in 'OAlg.Structure.Exception'
Warning: 'Pnt' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Point.hs:174:17
* at src/OAlg/Structure/Oriented/Point.hs:174:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:174:1
100% ( 26 / 26) in 'OAlg.Structure.Oriented.Point'
100% ( 7 / 7) in 'OAlg.Structure.Oriented.Orientation'
Warning: 'SomeMorphism' is ambiguous. It is defined
* at src/OAlg/Category/Unify.hs:83:3
* at src/OAlg/Category/Unify.hs:82:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Unify.hs:82:1
100% ( 18 / 18) in 'OAlg.Structure.Oriented.Definition'
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 11 / 11) in 'OAlg.Structure.Oriented.Opposite'
Warning: 'Path' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Path.hs:52:15
* at src/OAlg/Structure/Oriented/Path.hs:52:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Path.hs:52:1
100% ( 6 / 6) in 'OAlg.Structure.Oriented.Path'
Warning: 'XOrtOrientation' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/X.hs:321:5
* at src/OAlg/Structure/Oriented/X.hs:320:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/X.hs:320:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'Id' is ambiguous. It is defined
* at src/OAlg/Data/Identity.hs:50:16
* at src/OAlg/Data/Identity.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1
Warning: 'U' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Point.hs:217:15
* at src/OAlg/Structure/Oriented/Point.hs:217:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:217:1
100% ( 28 / 28) in 'OAlg.Structure.Oriented.X'
100% ( 12 / 12) in 'OAlg.Structure.Oriented.Proposition'
100% ( 6 / 6) in 'OAlg.Structure.Oriented'
Warning: 'Inv' is ambiguous. It is defined
* at src/OAlg/Structure/Multiplicative/Definition.hs:343:14
* at src/OAlg/Structure/Multiplicative/Definition.hs:343:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Definition.hs:343:1
100% ( 21 / 21) in 'OAlg.Structure.Multiplicative.Definition'
100% ( 10 / 10) in 'OAlg.Structure.Operational'
Warning: 'Endo' is ambiguous. It is defined
* at src/OAlg/Structure/Multiplicative/Proposition.hs:65:18
* at src/OAlg/Structure/Multiplicative/Proposition.hs:65:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Proposition.hs:65:1
100% ( 28 / 28) in 'OAlg.Structure.Multiplicative.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Multiplicative'
Warning: 'Rt' is ambiguous. It is defined
* at src/OAlg/Structure/Fibred/Root.hs:160:16
* at src/OAlg/Structure/Fibred/Root.hs:160:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Fibred/Root.hs:160:1
100% ( 22 / 22) in 'OAlg.Structure.Fibred.Root'
Warning: 'Sheaf' is ambiguous. It is defined
* at src/OAlg/Structure/Fibred/Definition.hs:106:16
* at src/OAlg/Structure/Fibred/Definition.hs:106:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Fibred/Definition.hs:106:1
Warning: 'XStalk' is ambiguous. It is defined
* at src/OAlg/Structure/Fibred/Definition.hs:184:17
* at src/OAlg/Structure/Fibred/Definition.hs:184:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Fibred/Definition.hs:184:1
100% ( 19 / 19) in 'OAlg.Structure.Fibred.Definition'
100% ( 13 / 13) in 'OAlg.Structure.FibredOriented'
100% ( 3 / 3) in 'OAlg.Structure.Fibred.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Fibred'
100% ( 15 / 15) in 'OAlg.Structure.Additive.Definition'
100% ( 8 / 8) in 'OAlg.Structure.Distributive.Definition'
100% ( 44 / 44) in 'OAlg.Structure.Additive.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Additive'
Warning: 'XDst' is ambiguous. It is defined
* at src/OAlg/Structure/Distributive/Proposition.hs:174:15
* at src/OAlg/Structure/Distributive/Proposition.hs:174:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Distributive/Proposition.hs:174:1
100% ( 22 / 22) in 'OAlg.Structure.Distributive.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Distributive'
Warning: the type '*' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: the type '+' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'SomeNatural' is ambiguous. It is defined
* at src/OAlg/Entity/Natural.hs:353:3
* at src/OAlg/Entity/Natural.hs:352:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Natural.hs:352:1
Warning: 'W'' is ambiguous. It is defined
* at src/OAlg/Entity/Natural.hs:406:11
* at src/OAlg/Entity/Natural.hs:406:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Natural.hs:406:1
100% ( 87 / 87) in 'OAlg.Entity.Natural'
100% ( 25 / 25) in 'OAlg.Entity.FinList'
Warning: 'Quiver' is ambiguous. It is defined
* at src/OAlg/Entity/Diagram/Quiver.hs:39:19
* at src/OAlg/Entity/Diagram/Quiver.hs:39:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Diagram/Quiver.hs:39:1
100% ( 7 / 7) in 'OAlg.Entity.Diagram.Quiver'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Inv2' is ambiguous. It is defined
* at src/OAlg/Category/Definition.hs:451:19
* at src/OAlg/Category/Definition.hs:451:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1
100% ( 15 / 15) in 'OAlg.Category.Dualisable'
100% ( 7 / 7) in 'OAlg.Limes.Cone.Structure'
100% ( 5 / 5) in 'OAlg.Structure.PartiallyOrdered.Definition'
100% ( 2 / 2) in 'OAlg.Structure.Lattice.Definition'
100% ( 3 / 3) in 'OAlg.Structure.PartiallyOrdered.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.PartiallyOrdered'
100% ( 8 / 8) in 'OAlg.Structure.Lattice.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Lattice'
100% ( 7 / 7) in 'OAlg.Structure.Proposition'
100% ( 12 / 12) in 'OAlg.Structure.Ring.Definition'
100% ( 2 / 2) in 'OAlg.Structure.Ring'
Warning: 'Digits' is ambiguous. It is defined
* at src/OAlg/Structure/Number/Definition.hs:311:3
* at src/OAlg/Structure/Number/Definition.hs:310:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Number/Definition.hs:310:1
Warning: '^' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 21 / 21) in 'OAlg.Structure.Number.Definition'
100% ( 2 / 2) in 'OAlg.Structure.Number'
Warning: 'Set' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Set.hs:67:17
* at src/OAlg/Entity/Sequence/Set.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 24 / 24) in 'OAlg.Entity.Sequence.Set'
Warning: 'Graph' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Graph.hs:54:21
* at src/OAlg/Entity/Sequence/Graph.hs:54:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Graph.hs:54:1
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Set' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Set.hs:67:17
* at src/OAlg/Entity/Sequence/Set.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1
100% ( 17 / 17) in 'OAlg.Entity.Sequence.Graph'
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
100% ( 14 / 14) in 'OAlg.Entity.Sequence.Definition'
Warning: 'Monotone' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/PSequence.hs:192:24
* at src/OAlg/Entity/Sequence/PSequence.hs:192:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:192:1
Warning: 'PSequence' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/PSequence.hs:106:25
* at src/OAlg/Entity/Sequence/PSequence.hs:106:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'PTree' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/PSequence.hs:420:21
* at src/OAlg/Entity/Sequence/PSequence.hs:420:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:420:1
100% ( 42 / 42) in 'OAlg.Entity.Sequence.PSequence'
100% ( 30 / 30) in 'OAlg.Entity.Sequence.FSequence'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
100% ( 16 / 16) in 'OAlg.Data.Variant'
Warning: 'SHom' is ambiguous. It is defined
* at src/OAlg/Category/SDuality.hs:189:28
* at src/OAlg/Category/SDuality.hs:189:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/SDuality.hs:189:1
Warning: 'SDualBi' is ambiguous. It is defined
* at src/OAlg/Category/SDuality.hs:324:23
* at src/OAlg/Category/SDuality.hs:324:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1
100% ( 27 / 27) in 'OAlg.Category.SDuality'
Warning: 'Id' is ambiguous. It is defined
* at src/OAlg/Data/Identity.hs:50:16
* at src/OAlg/Data/Identity.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1
Warning: 'HomDisj' is ambiguous. It is defined
* at src/OAlg/Hom/Definition.hs:62:29
* at src/OAlg/Hom/Definition.hs:62:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1
Warning: 'HomEmpty' is ambiguous. It is defined
* at src/OAlg/Hom/Definition.hs:108:26
* at src/OAlg/Hom/Definition.hs:108:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Hom/Definition.hs:108:1
100% ( 24 / 24) in 'OAlg.Hom.Definition'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Id' is ambiguous. It is defined
* at src/OAlg/Data/Identity.hs:50:16
* at src/OAlg/Data/Identity.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1
Warning: 'Pnt' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Point.hs:174:17
* at src/OAlg/Structure/Oriented/Point.hs:174:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:174:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 16 / 16) in 'OAlg.Hom.Oriented.Definition'
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 8 / 8) in 'OAlg.Hom.Oriented.Proposition'
100% ( 3 / 3) in 'OAlg.Hom.Oriented'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'XHomMlt' is ambiguous. It is defined
* at src/OAlg/Hom/Multiplicative.hs:208:18
* at src/OAlg/Hom/Multiplicative.hs:208:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Hom/Multiplicative.hs:208:1
Warning: 'HomDisj' is ambiguous. It is defined
* at src/OAlg/Hom/Definition.hs:62:29
* at src/OAlg/Hom/Definition.hs:62:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1
100% ( 23 / 23) in 'OAlg.Hom.Multiplicative'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Id' is ambiguous. It is defined
* at src/OAlg/Data/Identity.hs:50:16
* at src/OAlg/Data/Identity.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1
Warning: 'Rt' is ambiguous. It is defined
* at src/OAlg/Structure/Fibred/Root.hs:160:16
* at src/OAlg/Structure/Fibred/Root.hs:160:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Fibred/Root.hs:160:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 14 / 14) in 'OAlg.Hom.Fibred'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 14 / 14) in 'OAlg.Hom.FibredOriented'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 12 / 12) in 'OAlg.Hom.Additive'
Warning: 'HomDisj' is ambiguous. It is defined
* at src/OAlg/Hom/Definition.hs:62:29
* at src/OAlg/Hom/Definition.hs:62:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 8 / 8) in 'OAlg.Hom.Distributive'
100% ( 23 / 23) in 'OAlg.Entity.Slice.Sliced'
Warning: 'Ornt' is ambiguous. It is defined
* at src/OAlg/Data/Ornt.hs:45:3
* at src/OAlg/Data/Ornt.hs:44:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/Ornt.hs:44:1
100% ( 3 / 3) in 'OAlg.Data.Ornt'
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'SDualBi' is ambiguous. It is defined
* at src/OAlg/Category/SDuality.hs:324:23
* at src/OAlg/Category/SDuality.hs:324:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1
100% ( 34 / 34) in 'OAlg.Entity.Diagram.Definition'
100% ( 4 / 4) in 'OAlg.Entity.Diagram.Proposition'
Warning: 'SDualBi' is ambiguous. It is defined
* at src/OAlg/Category/SDuality.hs:324:23
* at src/OAlg/Category/SDuality.hs:324:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1
Warning: 'DiagramG' is ambiguous. It is defined
* at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:63
* at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 14 / 14) in 'OAlg.Entity.Diagram.Diagrammatic'
Warning: 'HomCo' is ambiguous. It is defined
* at src/OAlg/Data/HomCo.hs:138:27
* at src/OAlg/Data/HomCo.hs:138:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/HomCo.hs:138:1
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'PathCo' is ambiguous. It is defined
* at src/OAlg/Data/HomCo.hs:106:28
* at src/OAlg/Data/HomCo.hs:106:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/HomCo.hs:106:1
100% ( 23 / 23) in 'OAlg.Data.HomCo'
100% ( 6 / 6) in 'OAlg.Structure.Exponential'
Warning: 'VectorSheaf' is ambiguous. It is defined
* at src/OAlg/Structure/Vectorial/Definition.hs:87:22
* at src/OAlg/Structure/Vectorial/Definition.hs:87:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Vectorial/Definition.hs:87:1
100% ( 9 / 9) in 'OAlg.Structure.Vectorial.Definition'
100% ( 9 / 9) in 'OAlg.Structure.Algebraic.Definition'
100% ( 8 / 8) in 'OAlg.Structure.Algebraic.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Algebraic'
Warning: 'Sum' is ambiguous. It is defined
* at src/OAlg/Entity/Sum/Definition.hs:250:19
* at src/OAlg/Entity/Sum/Definition.hs:250:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sum/Definition.hs:250:1
100% ( 22 / 22) in 'OAlg.Entity.Sum.Definition'
100% ( 14 / 14) in 'OAlg.Structure.Vectorial.Proposition'
100% ( 3 / 3) in 'OAlg.Structure.Vectorial'
Warning: 'Struct' is ambiguous. It is defined
* at src/OAlg/Structure/Definition.hs:71:3
* at src/OAlg/Structure/Definition.hs:70:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 8 / 8) in 'OAlg.Hom.Vectorial'
100% ( 2 / 2) in 'OAlg.Hom.Proposition'
100% ( 3 / 3) in 'OAlg.Hom.Algebraic'
100% ( 9 / 9) in 'OAlg.Hom'
Warning: 'Path' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Path.hs:52:15
* at src/OAlg/Structure/Oriented/Path.hs:52:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Path.hs:52:1
Warning: 'Product' is ambiguous. It is defined
* at src/OAlg/Entity/Product/Definition.hs:472:23
* at src/OAlg/Entity/Product/Definition.hs:472:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Product/Definition.hs:472:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'Word' is ambiguous. It is defined
* at src/OAlg/Entity/Product/Definition.hs:289:20
* at src/OAlg/Entity/Product/Definition.hs:289:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Product/Definition.hs:289:1
100% ( 38 / 38) in 'OAlg.Entity.Product.Definition'
100% ( 15 / 15) in 'OAlg.Entity.Product.Proposition'
100% ( 16 / 16) in 'OAlg.Entity.Product.ProductSymbol'
100% ( 6 / 6) in 'OAlg.Entity.Sequence.CSequence'
100% ( 4 / 4) in 'OAlg.Entity.Product'
Warning: 'Cycle' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Permutation.hs:496:19
* at src/OAlg/Entity/Sequence/Permutation.hs:496:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:496:1
Warning: 'Permutation' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Permutation.hs:325:25
* at src/OAlg/Entity/Sequence/Permutation.hs:325:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:325:1
Warning: 'PermutationForm' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Permutation.hs:80:29
* at src/OAlg/Entity/Sequence/Permutation.hs:80:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:80:1
Warning: 'PSequence' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/PSequence.hs:106:25
* at src/OAlg/Entity/Sequence/PSequence.hs:106:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1
Warning: 'zip' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 25 / 25) in 'OAlg.Entity.Sequence.Permutation'
Warning: 'ProductSymbol' is ambiguous. It is defined
* at src/OAlg/Entity/Product/ProductSymbol.hs:99:27
* at src/OAlg/Entity/Product/ProductSymbol.hs:99:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Product/ProductSymbol.hs:99:1
Warning: 'PSequence' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/PSequence.hs:106:25
* at src/OAlg/Entity/Sequence/PSequence.hs:106:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1
Warning: 'Set' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Set.hs:67:17
* at src/OAlg/Entity/Sequence/Set.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1
Warning: 'Graph' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Graph.hs:54:21
* at src/OAlg/Entity/Sequence/Graph.hs:54:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Graph.hs:54:1
100% ( 8 / 8) in 'OAlg.Entity.Sequence'
Warning: 'Entries' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Entries.hs:417:25
* at src/OAlg/Entity/Matrix/Entries.hs:417:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Entries.hs:417:1
100% ( 56 / 56) in 'OAlg.Entity.Matrix.Entries'
Warning: 'Dim' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Dim.hs:46:20
* at src/OAlg/Entity/Matrix/Dim.hs:46:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Dim.hs:46:1
100% ( 9 / 9) in 'OAlg.Entity.Matrix.Dim'
Warning: 'Adjunction' is ambiguous. It is defined
* at src/OAlg/Adjunction/Definition.hs:143:3
* at src/OAlg/Adjunction/Definition.hs:142:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 17 / 17) in 'OAlg.Adjunction.Definition'
Warning: 'SumSymbol' is ambiguous. It is defined
* at src/OAlg/Entity/Sum/SumSymbol.hs:48:25
* at src/OAlg/Entity/Sum/SumSymbol.hs:48:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sum/SumSymbol.hs:48:1
Warning: 'Set' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Set.hs:67:17
* at src/OAlg/Entity/Sequence/Set.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1
100% ( 13 / 13) in 'OAlg.Entity.Sum.SumSymbol'
100% ( 3 / 3) in 'OAlg.Entity.Sum'
Warning: 'DiagramTrafo' is ambiguous. It is defined
* at src/OAlg/Entity/Diagram/Transformation.hs:83:5
* at src/OAlg/Entity/Diagram/Transformation.hs:82:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Diagram/Transformation.hs:82:1
100% ( 7 / 7) in 'OAlg.Entity.Diagram.Transformation'
100% ( 6 / 6) in 'OAlg.Entity.Diagram'
Warning: 'ConsecutiveZeroHom' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:220:5
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1
Warning: 'ConsecutiveZero' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:33
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1
100% ( 26 / 26) in 'OAlg.Limes.Exact.ConsecutiveZero'
Warning: 'DiagramG' is ambiguous. It is defined
* at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:63
* at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1
100% ( 13 / 13) in 'OAlg.Limes.Cone.Core'
100% ( 14 / 14) in 'OAlg.Limes.Cone.Duality'
100% ( 26 / 26) in 'OAlg.Limes.Cone.Definition'
Warning: 'FactorChain' is ambiguous. It is defined
* at src/OAlg/Limes/Cone/FactorChain.hs:52:28
* at src/OAlg/Limes/Cone/FactorChain.hs:52:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Cone/FactorChain.hs:52:1
100% ( 7 / 7) in 'OAlg.Limes.Cone.FactorChain'
Warning: 'SDualBi' is ambiguous. It is defined
* at src/OAlg/Category/SDuality.hs:324:23
* at src/OAlg/Category/SDuality.hs:324:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1
Warning: 'ConeG' is ambiguous. It is defined
* at src/OAlg/Limes/Cone/Conic/Core.hs:66:5
* at src/OAlg/Limes/Cone/Conic/Core.hs:60:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Cone/Conic/Core.hs:60:1
100% ( 7 / 7) in 'OAlg.Limes.Cone.Conic.Core'
100% ( 6 / 6) in 'OAlg.Limes.Cone.Conic.Duality'
100% ( 9 / 9) in 'OAlg.Limes.Cone.Conic'
100% ( 2 / 2) in 'OAlg.Limes.Cone.ZeroHead.Core'
Warning: 'ConeZeroHead' is ambiguous. It is defined
* at src/OAlg/Limes/Cone/ZeroHead/Core.hs:42:3
* at src/OAlg/Limes/Cone/ZeroHead/Core.hs:41:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Cone/ZeroHead/Core.hs:41:1
100% ( 5 / 5) in 'OAlg.Limes.Cone.ZeroHead.Duality'
100% ( 8 / 8) in 'OAlg.Limes.Cone.ZeroHead'
100% ( 6 / 6) in 'OAlg.Limes.Cone'
100% ( 13 / 13) in 'OAlg.Limes.Definition.Core'
100% ( 5 / 5) in 'OAlg.Limes.Definition.Duality'
Warning: 'XEligibleConeG' is ambiguous. It is defined
* at src/OAlg/Limes/Definition/Proposition.hs:69:5
* at src/OAlg/Limes/Definition/Proposition.hs:68:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Definition/Proposition.hs:68:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'XEligibleConeFactorG' is ambiguous. It is defined
* at src/OAlg/Limes/Definition/Proposition.hs:209:5
* at src/OAlg/Limes/Definition/Proposition.hs:208:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Definition/Proposition.hs:208:1
100% ( 27 / 27) in 'OAlg.Limes.Definition.Proposition'
100% ( 17 / 17) in 'OAlg.Limes.Definition'
Warning: 'LimitsG' is ambiguous. It is defined
* at src/OAlg/Limes/Limits/Core.hs:49:35
* at src/OAlg/Limes/Limits/Core.hs:49:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1
100% ( 10 / 10) in 'OAlg.Limes.Limits.Core'
Warning: 'LimitsG' is ambiguous. It is defined
* at src/OAlg/Limes/Limits/Core.hs:49:35
* at src/OAlg/Limes/Limits/Core.hs:49:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1
100% ( 3 / 3) in 'OAlg.Limes.Limits.Proposition'
Warning: 'LimitsG' is ambiguous. It is defined
* at src/OAlg/Limes/Limits/Core.hs:49:35
* at src/OAlg/Limes/Limits/Core.hs:49:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1
100% ( 5 / 5) in 'OAlg.Limes.Limits.Duality'
100% ( 14 / 14) in 'OAlg.Limes.Limits'
Warning: the type 'Empty' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 44 / 44) in 'OAlg.Limes.TerminalAndInitialPoint'
Warning: the type 'Chain' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 31 / 31) in 'OAlg.Limes.MinimaAndMaxima'
Warning: the type 'Discrete' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 46 / 46) in 'OAlg.Limes.ProductsAndSums'
Warning: 'ZeroPoint' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ZeroPoint.hs:61:23
* at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1
100% ( 9 / 9) in 'OAlg.Limes.Exact.ZeroPoint'
100% ( 31 / 31) in 'OAlg.Limes.EqualizersAndCoequalizers'
100% ( 32 / 32) in 'OAlg.Limes.PullbacksAndPushouts'
100% ( 51 / 51) in 'OAlg.Limes.KernelsAndCokernels'
Warning: 'VarianceGHom' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/Deviation.hs:494:5
* at src/OAlg/Limes/Exact/Deviation.hs:493:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/Deviation.hs:493:1
Warning: 'VarianceG' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/Deviation.hs:145:3
* at src/OAlg/Limes/Exact/Deviation.hs:144:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/Deviation.hs:144:1
Warning: 'ConsecutiveZero' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:33
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1
Warning: 'ConsecutiveZeroHom' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:220:5
* at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1
Warning: 'ZeroPoint' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/ZeroPoint.hs:61:23
* at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1
100% ( 41 / 41) in 'OAlg.Limes.Exact.Deviation'
100% ( 2 / 2) in 'OAlg.Limes.Proposition'
Warning: 'LimesSlicedTip' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Definition.hs:425:3
* at src/OAlg/Entity/Slice/Definition.hs:424:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:424:1
Warning: 'DiagramSlicedCenter' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Definition.hs:376:3
* at src/OAlg/Entity/Slice/Definition.hs:375:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:375:1
Warning: 'SliceFactor' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Definition.hs:238:26
* at src/OAlg/Entity/Slice/Definition.hs:238:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:238:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 37 / 37) in 'OAlg.Entity.Slice.Definition'
Warning: 'SomeOAlgException' is ambiguous. It is defined
* at src/OAlg/Control/Exception.hs:31:26
* at src/OAlg/Control/Exception.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1
100% ( 27 / 27) in 'OAlg.Entity.Slice.Liftable'
Warning: 'KernelSliceFromSomeFreeTip' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:930:3
* at src/OAlg/Entity/Slice/Free.hs:929:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:929:1
Warning: 'ConicFreeTip' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:850:3
* at src/OAlg/Entity/Slice/Free.hs:845:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:845:1
Warning: 'LiftableFree' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:477:3
* at src/OAlg/Entity/Slice/Free.hs:476:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:476:1
Warning: 'Free' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:108:20
* at src/OAlg/Entity/Slice/Free.hs:108:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:108:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
Warning: 'SomeFree' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:154:3
* at src/OAlg/Entity/Slice/Free.hs:153:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:153:1
Warning: 'DiagramFree' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:247:28
* at src/OAlg/Entity/Slice/Free.hs:247:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:247:1
100% ( 49 / 49) in 'OAlg.Entity.Slice.Free'
Warning: 'Matrix' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Definition.hs:115:17
* at src/OAlg/Entity/Matrix/Definition.hs:115:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Definition.hs:115:1
Warning: 'Op' is ambiguous. It is defined
* at src/OAlg/Structure/Oriented/Opposite.hs:40:16
* at src/OAlg/Structure/Oriented/Opposite.hs:40:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1
100% ( 32 / 32) in 'OAlg.Entity.Matrix.Definition'
Warning: 'Vector' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Vector.hs:77:20
* at src/OAlg/Entity/Matrix/Vector.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Vector.hs:77:1
Warning: 'SumSymbol' is ambiguous. It is defined
* at src/OAlg/Entity/Sum/SumSymbol.hs:48:25
* at src/OAlg/Entity/Sum/SumSymbol.hs:48:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sum/SumSymbol.hs:48:1
Warning: 'LinearCombination' is ambiguous. It is defined
* at src/OAlg/Entity/Sum/Definition.hs:171:33
* at src/OAlg/Entity/Sum/Definition.hs:171:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sum/Definition.hs:171:1
Warning: 'Set' is ambiguous. It is defined
* at src/OAlg/Entity/Sequence/Set.hs:67:17
* at src/OAlg/Entity/Sequence/Set.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1
Warning: 'Representable' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Vector.hs:284:3
* at src/OAlg/Entity/Matrix/Vector.hs:283:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Vector.hs:283:1
100% ( 21 / 21) in 'OAlg.Entity.Matrix.Vector'
100% ( 3 / 3) in 'OAlg.Entity.Matrix.ProductsAndSums'
100% ( 5 / 5) in 'OAlg.Entity.Matrix.Proposition'
Warning: 'GLT' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:17
* at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:1
Warning: 'GL2' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:14
* at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:1
Warning: 'Inv' is ambiguous. It is defined
* at src/OAlg/Structure/Multiplicative/Definition.hs:343:14
* at src/OAlg/Structure/Multiplicative/Definition.hs:343:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Definition.hs:343:1
100% ( 23 / 23) in 'OAlg.Entity.Matrix.GeneralLinearGroup'
Warning: 'Matrix' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Definition.hs:115:17
* at src/OAlg/Entity/Matrix/Definition.hs:115:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Definition.hs:115:1
Warning: 'DiagonalFormStrictPositive' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Transformation.hs:282:5
* at src/OAlg/Entity/Matrix/Transformation.hs:281:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Transformation.hs:281:1
Warning: 'DiagonalForm' is ambiguous. It is defined
* at src/OAlg/Entity/Matrix/Transformation.hs:243:23
* at src/OAlg/Entity/Matrix/Transformation.hs:243:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Matrix/Transformation.hs:243:1
100% ( 11 / 11) in 'OAlg.Entity.Matrix.Transformation'
100% ( 9 / 9) in 'OAlg.Entity.Matrix'
100% ( 2 / 2) in 'OAlg.Proposition'
Warning: 'Adjunction' is ambiguous. It is defined
* at src/OAlg/Adjunction/Definition.hs:143:3
* at src/OAlg/Adjunction/Definition.hs:142:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1
100% ( 7 / 7) in 'OAlg.Adjunction.Limes'
Warning: 'Adjunction' is ambiguous. It is defined
* at src/OAlg/Adjunction/Definition.hs:143:3
* at src/OAlg/Adjunction/Definition.hs:142:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1
100% ( 3 / 3) in 'OAlg.Adjunction'
Warning: 'Adjunction' is ambiguous. It is defined
* at src/OAlg/Adjunction/Definition.hs:143:3
* at src/OAlg/Adjunction/Definition.hs:142:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1
Warning: 'SliceFactor' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Definition.hs:238:26
* at src/OAlg/Entity/Slice/Definition.hs:238:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:238:1
100% ( 23 / 23) in 'OAlg.Entity.Slice.Adjunction'
100% ( 5 / 5) in 'OAlg.Entity.Slice'
Warning: 'ConicFreeTip' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:850:3
* at src/OAlg/Entity/Slice/Free.hs:845:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:845:1
Warning: 'ConsecutiveZeroFree' is ambiguous. It is defined
* at src/OAlg/Limes/Exact/Free.hs:72:3
* at src/OAlg/Limes/Exact/Free.hs:71:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Limes/Exact/Free.hs:71:1
100% ( 12 / 12) in 'OAlg.Limes.Exact.Free'
Warning: 'SomeFreeSlice' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:909:3
* at src/OAlg/Entity/Slice/Free.hs:908:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:908:1
Warning: 'KernelSliceFromSomeFreeTip' is ambiguous. It is defined
* at src/OAlg/Entity/Slice/Free.hs:930:3
* at src/OAlg/Entity/Slice/Free.hs:929:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:929:1
Warning: 'Splitable' is ambiguous. It is defined
* at src/OAlg/Data/FinitelyPresentable.hs:67:5
* at src/OAlg/Data/FinitelyPresentable.hs:66:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/Data/FinitelyPresentable.hs:66:1
100% ( 17 / 17) in 'OAlg.Data.FinitelyPresentable'
Warning: OAlg.Control.Exception: could not find link destinations for:
- GHC.IOPort.IOPortException
Warning: OAlg.Data.Constructable: could not find link destinations for:
- OAlg.Entity.Sequence.FSequence.D:R:FormFSequence
- OAlg.Category.SDuality.D:R:FormSHom
- OAlg.Data.HomCo.D:R:FormHomCo
- OAlg.Entity.Sum.Definition.D:R:FormSum
- OAlg.Entity.Product.Definition.D:R:FormProduct
- OAlg.Entity.Product.ProductSymbol.D:R:FormProductSymbol
- OAlg.Entity.Sequence.Permutation.D:R:FormPermutation
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:FormGLT
Warning: OAlg.Data.Equal: could not find link destinations for:
- GHC.IOPort.IOPort
Warning: OAlg.Data.Boolean.Definition: could not find link destinations for:
- GHC.Generics.SingKind
- GHC.Generics.DemoteRep
- GHC.Generics.fromSing
- GHC.Generics.SingI
- GHC.Generics.sing
- GHC.Generics.Sing
- GHC.Generics.Rep_Bool
- GHC.Generics.D:R:SingBoola0
- GHC.Generics.STrue
- GHC.Generics.D:R:DemoteRepBool
- GHC.Generics.SFalse
Warning: OAlg.Data.Number: could not find link destinations for:
- GHC.Generics.D:R:UReckIntp0
- GHC.Generics.Rep_R:UReckIntp
- GHC.Generics.Rep1_R:UReckIntp
- OAlg.Structure.Vectorial.Definition.D:R:ScalarQ
- OAlg.Structure.Vectorial.Definition.D:R:ScalarZ
- OAlg.Structure.Vectorial.Definition.D:R:ScalarN
- OAlg.Structure.Vectorial.Definition.D:R:ScalarInteger
- OAlg.Structure.Vectorial.Definition.D:R:ScalarInt
Warning: OAlg.Data.Show: could not find link destinations for:
- GHC.Generics.D:R:UReckCharp0
- GHC.Generics.Rep_R:UReckCharp
- GHC.Generics.Rep1_R:UReckCharp
- GHC.IOPort.IOPortException
Warning: OAlg.Data.Either: could not find link destinations for:
- GHC.Generics.Rep1_Either
- GHC.Generics.Rep_Either
- OAlg.Category.Definition.D:R:ObjectClassEither2
Warning: OAlg.Data.Statement.Definition: could not find link destinations for:
- OAlg.Data.Statement.Definition.Indent
- OAlg.Data.Statement.Definition.VForall
- OAlg.Data.Statement.Definition.VExist
Warning: OAlg.Category.Definition: could not find link destinations for:
- OAlg.Category.Definition.D:R:ObjectClassEither2
- OAlg.Category.Definition.D:R:ObjectClassFUN
- OAlg.Category.Definition.D:R:ObjectClassHomomorphous
- OAlg.Category.Definition.D:R:ObjectClassOp2
- OAlg.Category.Definition.D:R:ObjectClassSub
- OAlg.Category.Definition.D:R:ObjectClassInv2
- OAlg.Data.Identity.D:R:ObjectClassId2
- OAlg.Category.Path.D:R:ObjectClassPath
- OAlg.Category.Map.D:R:ObjectClassMap
- OAlg.Data.Variant.D:R:ObjectClassVariant2
- OAlg.Category.SDuality.D:R:ObjectClassSMorphism
- OAlg.Category.SDuality.D:R:ObjectClassSHom
- OAlg.Hom.Definition.D:R:ObjectClassHomDisj
- OAlg.Hom.Definition.D:R:ObjectClassHomEmpty
- OAlg.Hom.Definition.D:R:ObjectClassHomId
- OAlg.Data.Ornt.D:R:ObjectClassOrnt
- OAlg.Data.HomCo.D:R:ObjectClassMorCo
- OAlg.Data.HomCo.D:R:ObjectClassHomCo
- OAlg.Entity.Slice.Definition.D:R:ObjectClassSliceFactorDrop
- OAlg.Entity.Matrix.Vector.D:R:ObjectClassHomSymbol
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassTrApp
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassGLApp
- OAlg.Entity.Slice.Adjunction.D:R:ObjectClassSliceAdjunction
Warning: OAlg.Data.Identity: could not find link destinations for:
- OAlg.Data.Identity.D:R:ObjectClassId2
Warning: OAlg.Category.Path: could not find link destinations for:
- OAlg.Category.Path.D:R:ObjectClassPath
Warning: OAlg.Prelude: could not find link destinations for:
- GHC.Prim.~#
- Text.Printf.UPrintf
- Text.Printf.hspr
- Text.Printf.spr
Warning: OAlg.Category.Map: could not find link destinations for:
- OAlg.Category.Map.D:R:ObjectClassMap
Warning: OAlg.Structure.Oriented.Orientation: could not find link destinations for:
- OAlg.Structure.Vectorial.Definition.D:R:ScalarOrientation
Warning: OAlg.Structure.Oriented.Opposite: could not find link destinations for:
- OAlg.Structure.Vectorial.Definition.D:R:ScalarOp
Warning: OAlg.Structure.Multiplicative.Definition: could not find link destinations for:
- OAlg.Structure.Exponential.D:R:ExponentInv
Warning: OAlg.Structure.Multiplicative.Proposition: could not find link destinations for:
- OAlg.Structure.Multiplicative.Proposition.coXMltInv
Warning: OAlg.Category.Dualisable: could not find link destinations for:
- OAlg.Category.Dualisable.fromDualG'
Warning: OAlg.Entity.Sequence.FSequence: could not find link destinations for:
- OAlg.Entity.Sequence.FSequence.D:R:FormFSequence
Warning: OAlg.Data.Variant: could not find link destinations for:
- OAlg.Data.Variant.D:R:ObjectClassVariant2
Warning: OAlg.Category.SDuality: could not find link destinations for:
- OAlg.Category.SDuality.D:R:ObjectClassSMorphism
- OAlg.Category.SDuality.D:R:ObjectClassSHom
- OAlg.Category.SDuality.D:R:FormSHom
Warning: OAlg.Hom.Definition: could not find link destinations for:
- OAlg.Hom.Definition.D:R:ObjectClassHomDisj
- OAlg.Hom.Definition.D:R:ObjectClassHomEmpty
- OAlg.Hom.Definition.D:R:ObjectClassHomId
Warning: OAlg.Data.Ornt: could not find link destinations for:
- OAlg.Data.Ornt.D:R:ObjectClassOrnt
Warning: OAlg.Entity.Diagram.Diagrammatic: could not find link destinations for:
- OAlg.Entity.Diagram.Diagrammatic.droh
Warning: OAlg.Data.HomCo: could not find link destinations for:
- OAlg.Data.HomCo.cOneDOM
- OAlg.Data.HomCo.cOneDMO
- OAlg.Data.HomCo.D:R:ObjectClassMorCo
- OAlg.Data.HomCo.D:R:ObjectClassHomCo
- OAlg.Data.HomCo.D:R:FormHomCo
Warning: OAlg.Structure.Exponential: could not find link destinations for:
- OAlg.Structure.Exponential.D:R:ExponentInv
- OAlg.Entity.Product.Definition.D:R:ExponentProduct
- OAlg.Entity.Product.ProductSymbol.D:R:ExponentProductSymbol
- OAlg.Entity.Sequence.Permutation.D:R:ExponentPermutation
- OAlg.Entity.Matrix.Dim.D:R:ExponentDim
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGL2
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGLT
- OAlg.Entity.Matrix.Transformation.D:R:ExponentColTrafo
- OAlg.Entity.Matrix.Transformation.D:R:ExponentRowTrafo
Warning: OAlg.Structure.Vectorial.Definition: could not find link destinations for:
- OAlg.Structure.Vectorial.Definition.D:R:ScalarOp
- OAlg.Structure.Vectorial.Definition.D:R:ScalarOrientation
- OAlg.Structure.Vectorial.Definition.D:R:ScalarQ
- OAlg.Structure.Vectorial.Definition.D:R:ScalarZ
- OAlg.Structure.Vectorial.Definition.D:R:ScalarN
- OAlg.Structure.Vectorial.Definition.D:R:ScalarInteger
- OAlg.Structure.Vectorial.Definition.D:R:ScalarInt
- OAlg.Structure.Vectorial.Definition.D:R:ScalarUnit
- OAlg.Entity.Sum.Definition.D:R:ScalarSum
- OAlg.Entity.Sum.SumSymbol.D:R:ScalarSumSymbol
- OAlg.Entity.Diagram.Transformation.D:R:ScalarDiagramTrafo
- OAlg.Limes.Exact.ConsecutiveZero.D:R:ScalarConsecutiveZeroHom
- OAlg.Entity.Slice.Definition.D:R:ScalarSlice
- OAlg.Entity.Matrix.Definition.D:R:ScalarMatrix
- OAlg.Entity.Matrix.Vector.D:R:ScalarVector
Warning: OAlg.Entity.Sum.Definition: could not find link destinations for:
- OAlg.Entity.Sum.Definition.D:R:ScalarSum
- OAlg.Entity.Sum.Definition.D:R:FormSum
Warning: OAlg.Entity.Product.Definition: could not find link destinations for:
- OAlg.Entity.Product.Definition.D:R:ExponentProduct
- OAlg.Entity.Product.Definition.D:R:FormProduct
Warning: OAlg.Entity.Product.ProductSymbol: could not find link destinations for:
- OAlg.Entity.Product.ProductSymbol.D:R:FormProductSymbol
- OAlg.Entity.Product.ProductSymbol.D:R:ExponentProductSymbol
Warning: OAlg.Entity.Sequence.Permutation: could not find link destinations for:
- OAlg.Entity.Sequence.Permutation.D:R:ExponentPermutation
- OAlg.Entity.Sequence.Permutation.D:R:FormPermutation
Warning: OAlg.Entity.Matrix.Dim: could not find link destinations for:
- OAlg.Entity.Matrix.Dim.D:R:ExponentDim
Warning: OAlg.Entity.Sum.SumSymbol: could not find link destinations for:
- OAlg.Entity.Sum.SumSymbol.D:R:ScalarSumSymbol
Warning: OAlg.Entity.Diagram.Transformation: could not find link destinations for:
- OAlg.Entity.Diagram.Transformation.D:R:ScalarDiagramTrafo
Warning: OAlg.Limes.Exact.ConsecutiveZero: could not find link destinations for:
- OAlg.Limes.Exact.ConsecutiveZero.D:R:ScalarConsecutiveZeroHom
Warning: OAlg.Limes.Cone.Conic.Core: could not find link destinations for:
- OAlg.Limes.Cone.Conic.Core.croh
Warning: OAlg.Limes.Cone.Conic: could not find link destinations for:
- OAlg.Limes.Cone.Conic.Core.croh
Warning: OAlg.Entity.Slice.Definition: could not find link destinations for:
- OAlg.Entity.Slice.Definition.D:R:ScalarSlice
- OAlg.Entity.Slice.Definition.D:R:ObjectClassSliceFactorDrop
Warning: OAlg.Entity.Matrix.Definition: could not find link destinations for:
- OAlg.Entity.Matrix.Definition.D:R:ScalarMatrix
Warning: OAlg.Entity.Matrix.Vector: could not find link destinations for:
- OAlg.Entity.Matrix.Vector.vector
- OAlg.Entity.Matrix.Vector.D:R:ScalarVector
- OAlg.Entity.Matrix.Vector.D:R:ObjectClassHomSymbol
Warning: OAlg.Entity.Matrix.GeneralLinearGroup: could not find link destinations for:
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGL2
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGLT
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:FormGLT
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassTrApp
- OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassGLApp
Warning: OAlg.Entity.Matrix.Transformation: could not find link destinations for:
- OAlg.Entity.Matrix.Transformation.D:R:ExponentColTrafo
- OAlg.Entity.Matrix.Transformation.D:R:ExponentRowTrafo
Warning: OAlg.Entity.Slice.Adjunction: could not find link destinations for:
- OAlg.Entity.Slice.Adjunction.D:R:ObjectClassSliceAdjunction
Documentation created: dist/doc/html/oalg-base/,
dist/doc/html/oalg-base/oalg-base.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/oalg-base-3.0.0.0-2pBdYmA7DZtECoHVLYfsRS
Completed oalg-base-3.0.0.0
Downloading oalg-abg-2.0.0.0
Downloaded oalg-abg-2.0.0.0
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, dist/build/OAlg/AbelianGroup/Euclid.o, dist/build/OAlg/AbelianGroup/Euclid.dyn_o )
[ 2 of 10] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, dist/build/OAlg/AbelianGroup/Free/SmithNormalForm.o, dist/build/OAlg/AbelianGroup/Free/SmithNormalForm.dyn_o )
[ 3 of 10] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, dist/build/OAlg/AbelianGroup/Free/Limes.o, dist/build/OAlg/AbelianGroup/Free/Limes.dyn_o )
[ 4 of 10] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, dist/build/OAlg/AbelianGroup/Free.o, dist/build/OAlg/AbelianGroup/Free.dyn_o )
[ 5 of 10] Compiling OAlg.AbelianGroup.Liftable ( src/OAlg/AbelianGroup/Liftable.hs, dist/build/OAlg/AbelianGroup/Liftable.o, dist/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, dist/build/OAlg/AbelianGroup/ZMod.o, dist/build/OAlg/AbelianGroup/ZMod.dyn_o )
[ 7 of 10] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, dist/build/OAlg/AbelianGroup/Definition.o, dist/build/OAlg/AbelianGroup/Definition.dyn_o )
[ 8 of 10] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, dist/build/OAlg/AbelianGroup/KernelsAndCokernels.o, dist/build/OAlg/AbelianGroup/KernelsAndCokernels.dyn_o )
[ 9 of 10] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, dist/build/OAlg/AbelianGroup/Proposition.o, dist/build/OAlg/AbelianGroup/Proposition.dyn_o )
[10 of 10] Compiling Paths_oalg_abg ( dist/build/autogen/Paths_oalg_abg.hs, dist/build/Paths_oalg_abg.o, dist/build/Paths_oalg_abg.dyn_o )
Preprocessing library for oalg-abg-2.0.0.0..
Running Haddock on library for oalg-abg-2.0.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 10] Compiling OAlg.AbelianGroup.Euclid ( src/OAlg/AbelianGroup/Euclid.hs, nothing )
[ 2 of 10] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, nothing )
[ 3 of 10] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, nothing )
[ 4 of 10] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, nothing )
[ 5 of 10] Compiling OAlg.AbelianGroup.Liftable ( src/OAlg/AbelianGroup/Liftable.hs, nothing )
[ 6 of 10] Compiling OAlg.AbelianGroup.ZMod ( src/OAlg/AbelianGroup/ZMod.hs, nothing )
[ 7 of 10] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, nothing )
[ 8 of 10] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, nothing )
[ 9 of 10] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, nothing )
[10 of 10] Compiling Paths_oalg_abg ( dist/build/autogen/Paths_oalg_abg.hs, nothing )
Haddock coverage:
100% ( 8 / 8) in 'OAlg.AbelianGroup.Euclid'
Warning: 'SmithNormalForm' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:26
* at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:1
Warning: ':' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Col' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Entries
* in OAlg.Entity.Matrix.Entries
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Entries
Warning: 'Row' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Entries
* in OAlg.Entity.Matrix.Entries
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Entries
Warning: 'Matrix' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Definition
* in OAlg.Entity.Matrix.Definition
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Definition
Warning: 'RowTrafo' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Transformation
* in OAlg.Entity.Matrix.Transformation
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Transformation
Warning: 'ColTrafo' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Transformation
* in OAlg.Entity.Matrix.Transformation
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Transformation
Warning: 'DiagonalFormStrictPositive' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Transformation
* in OAlg.Entity.Matrix.Transformation
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Transformation
Warning: 'DiagonalForm' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Transformation
* in OAlg.Entity.Matrix.Transformation
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Transformation
100% ( 11 / 11) in 'OAlg.AbelianGroup.Free.SmithNormalForm'
100% ( 4 / 4) in 'OAlg.AbelianGroup.Free.Limes'
100% ( 3 / 3) in 'OAlg.AbelianGroup.Free'
Warning: 'Matrix' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Definition
* in OAlg.Entity.Matrix.Definition
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Definition
100% ( 9 / 9) in 'OAlg.AbelianGroup.Liftable'
Warning: 'ZMod' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/ZMod.hs:93:16
* at src/OAlg/AbelianGroup/ZMod.hs:93:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:93:1
Warning: 'ZModHom' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/ZMod.hs:122:16
* at src/OAlg/AbelianGroup/ZMod.hs:122:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:122:1
Warning: 'SomeOAlgException' is ambiguous. It is defined
* in OAlg.Control.Exception
* in OAlg.Control.Exception
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Control.Exception
100% ( 23 / 23) in 'OAlg.AbelianGroup.ZMod'
Warning: 'AbGroup' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:207:19
* at src/OAlg/AbelianGroup/Definition.hs:207:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:207:1
Warning: 'AbElement' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:819:21
* at src/OAlg/AbelianGroup/Definition.hs:819:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:819:1
Warning: 'Matrix' is ambiguous. It is defined
* in OAlg.Entity.Matrix.Definition
* in OAlg.Entity.Matrix.Definition
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Matrix.Definition
Warning: 'AbHom' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:259:17
* at src/OAlg/AbelianGroup/Definition.hs:259:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:259:1
Warning: 'IsoAbHomMap' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:438:27
* at src/OAlg/AbelianGroup/Definition.hs:438:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:438:1
Warning: 'ZMod' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/ZMod.hs:93:16
* at src/OAlg/AbelianGroup/ZMod.hs:93:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:93:1
Warning: 'AbHomFree' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:608:3
* at src/OAlg/AbelianGroup/Definition.hs:607:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:607:1
100% ( 37 / 37) in 'OAlg.AbelianGroup.Definition'
Warning: 'DiagramFree' is ambiguous. It is defined
* in OAlg.Entity.Slice.Free
* in OAlg.Entity.Slice.Free
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Slice.Free
Warning: 'AbHom' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:259:17
* at src/OAlg/AbelianGroup/Definition.hs:259:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:259:1
Warning: 'Free' is ambiguous. It is defined
* in OAlg.Entity.Slice.Free
* in OAlg.Entity.Slice.Free
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in OAlg.Entity.Slice.Free
Warning: 'AbGroup' is ambiguous. It is defined
* at src/OAlg/AbelianGroup/Definition.hs:207:19
* at src/OAlg/AbelianGroup/Definition.hs:207:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:207:1
100% ( 14 / 14) in 'OAlg.AbelianGroup.KernelsAndCokernels'
100% ( 2 / 2) in 'OAlg.AbelianGroup.Proposition'
Warning: OAlg.AbelianGroup.ZMod: could not find link destinations for:
- OAlg.AbelianGroup.ZMod.D:R:ScalarZModHom
Warning: OAlg.AbelianGroup.Definition: could not find link destinations for:
- OAlg.AbelianGroup.Definition.D:R:ExponentAbGroup
- OAlg.AbelianGroup.Definition.D:R:ScalarAbHom
- OAlg.AbelianGroup.Definition.D:R:ObjectClassAbHomFree
- OAlg.AbelianGroup.Definition.D:R:ScalarAbElement
- OAlg.AbelianGroup.Definition.D:R:FormAbElement
Documentation created: dist/doc/html/oalg-abg/,
dist/doc/html/oalg-abg/oalg-abg.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/oalg-abg-2.0.0.0-6IqbYV2Dpwo5vYHbjh4epA
Completed oalg-abg-2.0.0.0
Test log
[view raw]
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