Build #1 for ord-axiomata-0.1.0.0
| Package | ord-axiomata-0.1.0.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-07-18 01:34:30.632823785 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading ord-axiomata-0.1.0.0
Downloaded ord-axiomata-0.1.0.0
Configuring ord-axiomata-0.1.0.0...
Preprocessing library for ord-axiomata-0.1.0.0..
Building library for ord-axiomata-0.1.0.0..
[1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, dist/build/Data/Type/Ord/Axiomata.o, dist/build/Data/Type/Ord/Axiomata.dyn_o )
[2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, dist/build/Data/Type/Ord/Lemmata.o, dist/build/Data/Type/Ord/Lemmata.dyn_o )
Preprocessing library for ord-axiomata-0.1.0.0..
Running Haddock on library for ord-axiomata-0.1.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, nothing )
[2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, nothing )
Haddock coverage:
75% ( 18 / 24) in 'Data.Type.Ord.Axiomata'
Missing documentation for:
< (src/Data/Type/Ord/Axiomata.hs:97)
== (src/Data/Type/Ord/Axiomata.hs:98)
> (src/Data/Type/Ord/Axiomata.hs:99)
<= (src/Data/Type/Ord/Axiomata.hs:100)
/= (src/Data/Type/Ord/Axiomata.hs:101)
>= (src/Data/Type/Ord/Axiomata.hs:102)
100% ( 23 / 23) in 'Data.Type.Ord.Lemmata'
Warning: Data.Type.Ord.Axiomata: could not find link destinations for:
- Data.Type.Ord.Axiomata.D:R:LowerBoundSymbol
- Data.Type.Ord.Axiomata.D:R:LowerBoundChar
- Data.Type.Ord.Axiomata.D:R:LowerBoundNatural
Documentation created: dist/doc/html/ord-axiomata/,
dist/doc/html/ord-axiomata/ord-axiomata.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ord-axiomata-0.1.0.0-G5oXEtYSAmECN6kmy4icmk
Completed ord-axiomata-0.1.0.0
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project