[all reports]
| Package |
oalg-base-1.1.4.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-01-05 06:26:42.143030257 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
array-0.5.4.0, base-4.16.3.0, deepseq-1.4.6.1, random-1.2.1.1, time-1.11.1.1 |
| Flags |
none
|
Code Coverage
| expressions | 53% (10375/19435) |
|---|
| boolean | guards | 25% (21/84) |
|---|
| conditions | 35% (13/37) |
|---|
| qualifiers | 0% (0/1) |
|---|
| alternatives | 49% (716/1437) |
|---|
| local declarations | 60% (515/852) |
|---|
| top-level declarations | 40% (998/2436) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting splitmix-0.1.0.5
Building splitmix-0.1.0.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Building random-1.2.1.1
Completed random-1.2.1.1
Downloading oalg-base-1.1.4.0
Downloaded oalg-base-1.1.4.0
Starting oalg-base-1.1.4.0
Building oalg-base-1.1.4.0
Completed oalg-base-1.1.4.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- oalg-base-1.1.4.0 (first run)
Configuring oalg-base-1.1.4.0...
Preprocessing library for oalg-base-1.1.4.0..
Building library for oalg-base-1.1.4.0..
[ 1 of 136] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Action.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Action.dyn_o )
[ 2 of 136] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Exception.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Exception.dyn_o )
[ 3 of 136] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/HNFData.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/HNFData.dyn_o )
[ 4 of 136] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Solver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Solver.dyn_o )
[ 5 of 136] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Constructable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Constructable.dyn_o )
[ 6 of 136] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Dualisable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Dualisable.dyn_o )
[ 7 of 136] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Equal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Equal.dyn_o )
[ 8 of 136] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Identity.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Identity.dyn_o )
[ 9 of 136] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Maybe.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Maybe.dyn_o )
[ 10 of 136] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Ord.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Ord.dyn_o )
[ 11 of 136] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Reducible.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Reducible.dyn_o )
[ 12 of 136] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Show.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Show.dyn_o )
[ 13 of 136] Compiling OAlg.Data.Opposite ( src/OAlg/Data/Opposite.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Opposite.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Opposite.dyn_o )
[ 14 of 136] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Either.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Either.dyn_o )
[ 15 of 136] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Applicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Applicative.dyn_o )
[ 16 of 136] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Verbose.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Verbose.dyn_o )
[ 17 of 136] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singleton.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singleton.dyn_o )
[ 18 of 136] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singular.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singular.dyn_o )
[ 19 of 136] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statistics.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statistics.dyn_o )
[ 20 of 136] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Tree.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Tree.dyn_o )
[ 21 of 136] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/TypeLits.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/TypeLits.dyn_o )
[ 22 of 136] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Definition.dyn_o )
[ 23 of 136] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Definition.dyn_o )
[ 24 of 136] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Definition.dyn_o )
[ 25 of 136] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Canonical.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Canonical.dyn_o )
[ 26 of 136] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Number.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Number.dyn_o )
[ 27 of 136] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/X.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/X.dyn_o )
[ 28 of 136] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Definition.dyn_o )
[ 29 of 136] Compiling OAlg.Data.Statement.Definition ( src/OAlg/Data/Statement/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Definition.dyn_o )
[ 30 of 136] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Proposition.dyn_o )
[ 31 of 136] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean.dyn_o )
[ 32 of 136] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Proposition.dyn_o )
[ 33 of 136] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement.dyn_o )
[ 34 of 136] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Validable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Validable.dyn_o )
[ 35 of 136] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Symbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Symbol.dyn_o )
[ 36 of 136] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Definition.dyn_o )
[ 37 of 136] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Validate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Validate.dyn_o )
[ 38 of 136] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Path.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Path.dyn_o )
[ 39 of 136] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Unify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Unify.dyn_o )
[ 40 of 136] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Proposition.dyn_o )
[ 41 of 136] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Prelude.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Prelude.dyn_o )
[ 42 of 136] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Perspective.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Perspective.dyn_o )
[ 43 of 136] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exception.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exception.dyn_o )
[ 44 of 136] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Definition.dyn_o )
[ 45 of 136] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Proposition.dyn_o )
[ 46 of 136] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented.dyn_o )
[ 47 of 136] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Definition.dyn_o )
src/OAlg/Structure/Multiplicative/Definition.hs:165:1: warning: [-Worphans]
Orphan instance:
instance Multiplicative c => Projectible c (Path c)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
165 | instance Multiplicative c => Projectible c (Path c) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 48 of 136] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Operational.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Operational.dyn_o )
[ 49 of 136] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Proposition.dyn_o )
[ 50 of 136] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative.dyn_o )
[ 51 of 136] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Definition.dyn_o )
[ 52 of 136] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Definition.dyn_o )
src/OAlg/Structure/Additive/Definition.hs:136:1: warning: [-Worphans]
Orphan instance: instance Additive a => Projectible a (Sheaf a)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
136 | instance Additive a => Projectible a (Sheaf a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 53 of 136] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Definition.dyn_o )
[ 54 of 136] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Proposition.dyn_o )
[ 55 of 136] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred.dyn_o )
[ 56 of 136] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Proposition.dyn_o )
[ 57 of 136] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive.dyn_o )
[ 58 of 136] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Proposition.dyn_o )
[ 59 of 136] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive.dyn_o )
[ 60 of 136] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Definition.dyn_o )
[ 61 of 136] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Proposition.dyn_o )
[ 62 of 136] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented.dyn_o )
[ 63 of 136] Compiling OAlg.Hom.Fibred ( src/OAlg/Hom/Fibred.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Fibred.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Fibred.dyn_o )
[ 64 of 136] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Additive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Additive.dyn_o )
[ 65 of 136] Compiling OAlg.Hom.Multiplicative.Definition ( src/OAlg/Hom/Multiplicative/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Definition.dyn_o )
[ 66 of 136] Compiling OAlg.Hom.Multiplicative.Proposition ( src/OAlg/Hom/Multiplicative/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Proposition.dyn_o )
[ 67 of 136] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative.dyn_o )
[ 68 of 136] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Proposition.dyn_o )
[ 69 of 136] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Distributive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Distributive.dyn_o )
[ 70 of 136] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Natural.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Natural.dyn_o )
[ 71 of 136] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/FinList.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/FinList.dyn_o )
[ 72 of 136] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Quiver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Quiver.dyn_o )
[ 73 of 136] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Definition.dyn_o )
[ 74 of 136] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Proposition.dyn_o )
[ 75 of 136] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Proposition.dyn_o )
[ 76 of 136] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring/Definition.dyn_o )
[ 77 of 136] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring.dyn_o )
[ 78 of 136] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number/Definition.dyn_o )
[ 79 of 136] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number.dyn_o )
[ 80 of 136] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Set.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Set.dyn_o )
[ 81 of 136] Compiling OAlg.Entity.Sequence.Graph ( src/OAlg/Entity/Sequence/Graph.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Graph.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Graph.dyn_o )
[ 82 of 136] Compiling OAlg.Entity.Sequence.Definition ( src/OAlg/Entity/Sequence/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Definition.dyn_o )
[ 83 of 136] Compiling OAlg.Entity.Sequence.PSequence ( src/OAlg/Entity/Sequence/PSequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/PSequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/PSequence.dyn_o )
[ 84 of 136] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exponential.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exponential.dyn_o )
[ 85 of 136] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Definition.dyn_o )
[ 86 of 136] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Definition.dyn_o )
[ 87 of 136] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Proposition.dyn_o )
[ 88 of 136] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic.dyn_o )
[ 89 of 136] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Proposition.dyn_o )
[ 90 of 136] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial.dyn_o )
[ 91 of 136] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Vectorial.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Vectorial.dyn_o )
[ 92 of 136] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Algebraic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Algebraic.dyn_o )
[ 93 of 136] Compiling OAlg.Hom ( src/OAlg/Hom.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom.dyn_o )
[ 94 of 136] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Definition.dyn_o )
[ 95 of 136] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Proposition.dyn_o )
[ 96 of 136] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/ProductSymbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/ProductSymbol.dyn_o )
[ 97 of 136] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/CSequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/CSequence.dyn_o )
[ 98 of 136] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product.dyn_o )
[ 99 of 136] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Permutation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Permutation.dyn_o )
[100 of 136] Compiling OAlg.Entity.Sequence ( src/OAlg/Entity/Sequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence.dyn_o )
[101 of 136] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Entries.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Entries.dyn_o )
[102 of 136] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Dim.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Dim.dyn_o )
[103 of 136] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Definition.dyn_o )
[104 of 136] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/Definition.dyn_o )
[105 of 136] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/SumSymbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/SumSymbol.dyn_o )
[106 of 136] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum.dyn_o )
[107 of 136] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Definition.dyn_o )
[108 of 136] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Vector.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Vector.dyn_o )
[109 of 136] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/GeneralLinearGroup.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/GeneralLinearGroup.dyn_o )
[110 of 136] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Transformation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Transformation.dyn_o )
[111 of 136] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Transformation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Transformation.dyn_o )
[112 of 136] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram.dyn_o )
[113 of 136] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/Definition.dyn_o )
[114 of 136] Compiling OAlg.Limes.Cone.EligibleFactor ( src/OAlg/Limes/Cone/EligibleFactor.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/EligibleFactor.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/EligibleFactor.dyn_o )
[115 of 136] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone.dyn_o )
[116 of 136] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Definition.dyn_o )
[117 of 136] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Limits.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Limits.dyn_o )
[118 of 136] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/TerminalAndInitialPoint.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/TerminalAndInitialPoint.dyn_o )
[119 of 136] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/MinimaAndMaxima.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/MinimaAndMaxima.dyn_o )
[120 of 136] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/ProductsAndSums.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/ProductsAndSums.dyn_o )
[121 of 136] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/EqualizersAndCoequalizers.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/EqualizersAndCoequalizers.dyn_o )
[122 of 136] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/PullbacksAndPushouts.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/PullbacksAndPushouts.dyn_o )
[123 of 136] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/KernelsAndCokernels.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/KernelsAndCokernels.dyn_o )
[124 of 136] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Proposition.dyn_o )
[125 of 136] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Definition.dyn_o )
[126 of 136] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Free.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Free.dyn_o )
[127 of 136] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/ProductsAndSums.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/ProductsAndSums.dyn_o )
[128 of 136] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Proposition.dyn_o )
[129 of 136] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix.dyn_o )
[130 of 136] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Proposition.dyn_o )
[131 of 136] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Limes.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Limes.dyn_o )
[132 of 136] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction.dyn_o )
[133 of 136] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Adjunction.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Adjunction.dyn_o )
[134 of 136] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice.dyn_o )
[135 of 136] Compiling OAlg.Data.Generator ( src/OAlg/Data/Generator.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Generator.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Generator.dyn_o )
[136 of 136] Compiling Paths_oalg_base ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/autogen/Paths_oalg_base.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/Paths_oalg_base.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/Paths_oalg_base.dyn_o )
Preprocessing test suite 'oalg-base-test' for oalg-base-1.1.4.0..
Building test suite 'oalg-base-test' for oalg-base-1.1.4.0..
[1 of 2] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test-tmp/Main.o )
[2 of 2] Compiling Paths_oalg_base ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/autogen/Paths_oalg_base.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test-tmp/Paths_oalg_base.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test ...
Running 1 test suites...
Test suite oalg-base-test: RUNNING...
Test suite oalg-base-test: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/oalg-base-1.1.4.0.test
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.ProductsAndSums.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.MinimaAndMaxima.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.KernelsAndCokernels.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.EqualizersAndCoequalizers.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Distributive.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.CSequence.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.ProductsAndSums.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Entries.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Dim.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Quiver.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Tree.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Singleton.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Reducible.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Ord.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Either.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Dualisable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Constructable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Solver.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Unify.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Path.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Ring.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Operational.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Number.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exponential.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exception.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.TerminalAndInitialPoint.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.PullbacksAndPushouts.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Perspective.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Limits.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.EligibleFactor.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Vectorial.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Fibred.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Additive.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.SumSymbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Set.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.PSequence.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Permutation.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Graph.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.ProductSymbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Natural.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Vector.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.FinList.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Validable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Symbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Opposite.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Number.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Maybe.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Equal.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Canonical.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.HNFData.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Exception.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Action.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Applicative.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.X.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statistics.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Show.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Verbose.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Validate.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
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/hpc/vanilla/html/oalg-base-test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.ProductsAndSums.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.MinimaAndMaxima.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.KernelsAndCokernels.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.EqualizersAndCoequalizers.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Distributive.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.CSequence.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.ProductsAndSums.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Entries.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Dim.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Quiver.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Tree.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Singleton.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Reducible.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Ord.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Either.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Dualisable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Constructable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Solver.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Unify.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Path.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Ring.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Operational.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Number.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exponential.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exception.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.TerminalAndInitialPoint.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.PullbacksAndPushouts.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Perspective.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Limits.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.EligibleFactor.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Vectorial.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Fibred.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Additive.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.SumSymbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Set.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.PSequence.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Permutation.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Graph.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.ProductSymbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Natural.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Vector.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.FinList.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Validable.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Symbol.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Opposite.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Number.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Maybe.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Equal.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Canonical.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.HNFData.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Exception.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Action.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Applicative.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Proposition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.X.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statistics.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Show.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Definition.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Verbose.hs.html
Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Validate.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
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/hpc/vanilla/html/oalg-base-1.1.4.0/hpc_index.html