Build #2 for exact-pi-0.3.1.0
| Package | exact-pi-0.3.1.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-11-17 15:56:27.137375 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | numtype-dk-0.5, base-4.8.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring numtype-dk-0.5...
Building numtype-dk-0.5...
Preprocessing library numtype-dk-0.5...
[1 of 2] Compiling Numeric.NumType.DK.Naturals ( Numeric/NumType/DK/Naturals.hs, dist/build/Numeric/NumType/DK/Naturals.o )
[2 of 2] Compiling Numeric.NumType.DK.Integers ( Numeric/NumType/DK/Integers.hs, dist/build/Numeric/NumType/DK/Integers.o )
In-place registering numtype-dk-0.5...
Running Haddock for numtype-dk-0.5...
Running hscolour for numtype-dk-0.5...
Preprocessing library numtype-dk-0.5...
Preprocessing library numtype-dk-0.5...
Haddock coverage:
44% ( 4 / 9) in 'Numeric.NumType.DK.Naturals'
Missing documentation for:
Module header
Nat (Numeric/NumType/DK/Naturals.hs:17)
KnownNat (Numeric/NumType/DK/Naturals.hs:45)
(Numeric/NumType/DK/Naturals.hs:47)
(Numeric/NumType/DK/Naturals.hs:48)
32% ( 15 / 47) in 'Numeric.NumType.DK.Integers'
Missing documentation for:
TypeInt (Numeric/NumType/DK/Integers.hs:86)
Pred (Numeric/NumType/DK/Integers.hs:112)
Succ (Numeric/NumType/DK/Integers.hs:136)
pred (Numeric/NumType/DK/Integers.hs:373)
succ (Numeric/NumType/DK/Integers.hs:374)
negate (Numeric/NumType/DK/Integers.hs:375)
abs (Numeric/NumType/DK/Integers.hs:376)
signum (Numeric/NumType/DK/Integers.hs:377)
+ (Numeric/NumType/DK/Integers.hs:379)
- (Numeric/NumType/DK/Integers.hs:380)
* (Numeric/NumType/DK/Integers.hs:381)
/ (Numeric/NumType/DK/Integers.hs:382)
^ (Numeric/NumType/DK/Integers.hs:383)
zero (Numeric/NumType/DK/Integers.hs:407)
pos1 (Numeric/NumType/DK/Integers.hs:409)
pos2 (Numeric/NumType/DK/Integers.hs:411)
pos3 (Numeric/NumType/DK/Integers.hs:413)
pos4 (Numeric/NumType/DK/Integers.hs:415)
pos5 (Numeric/NumType/DK/Integers.hs:417)
pos6 (Numeric/NumType/DK/Integers.hs:419)
pos7 (Numeric/NumType/DK/Integers.hs:421)
pos8 (Numeric/NumType/DK/Integers.hs:423)
pos9 (Numeric/NumType/DK/Integers.hs:425)
neg1 (Numeric/NumType/DK/Integers.hs:405)
neg2 (Numeric/NumType/DK/Integers.hs:403)
neg3 (Numeric/NumType/DK/Integers.hs:401)
neg4 (Numeric/NumType/DK/Integers.hs:399)
neg5 (Numeric/NumType/DK/Integers.hs:397)
neg6 (Numeric/NumType/DK/Integers.hs:395)
neg7 (Numeric/NumType/DK/Integers.hs:393)
neg8 (Numeric/NumType/DK/Integers.hs:391)
neg9 (Numeric/NumType/DK/Integers.hs:389)
Warning: Numeric.NumType.DK.Integers: could not find link destinations for:
NatSucc Z NatPred
Documentation created: dist/doc/html/numtype-dk/index.html,
dist/doc/html/numtype-dk/numtype-dk.txt
Creating package registration file:
/tmp/pkgConf-numtype-dk-0278722862233665123.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/numtype-dk-0.5-JXj6oHiYMpr3mhH5YSL47N
Registering numtype-dk-0.5...
Installed numtype-dk-0.5
Configuring exact-pi-0.3.1.0...
Building exact-pi-0.3.1.0...
Preprocessing library exact-pi-0.3.1.0...
[1 of 2] Compiling Data.ExactPi ( src/Data/ExactPi.hs, dist/build/Data/ExactPi.o )
[2 of 2] Compiling Data.ExactPi.TypeLevel ( src/Data/ExactPi/TypeLevel.hs, dist/build/Data/ExactPi/TypeLevel.o )
In-place registering exact-pi-0.3.1.0...
Running Haddock for exact-pi-0.3.1.0...
Running hscolour for exact-pi-0.3.1.0...
Preprocessing library exact-pi-0.3.1.0...
Preprocessing library exact-pi-0.3.1.0...
Haddock coverage:
100% ( 12 / 12) in 'Data.ExactPi'
100% ( 14 / 14) in 'Data.ExactPi.TypeLevel'
Warning: Data.ExactPi.TypeLevel: could not find link destinations for:
KnownMinCtxt
Documentation created: dist/doc/html/exact-pi/index.html,
dist/doc/html/exact-pi/exact-pi.txt
Creating package registration file:
/tmp/pkgConf-exact-pi-0.3.18556362261749698586.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exact-pi-0.3.1.0-6aDbVImnksFITgOXBfwViw
Registering exact-pi-0.3.1.0...
Installed exact-pi-0.3.1.0
Test log
No test log was submitted for this report.