Build #1 for TypeNat-0.1.0.0
Package | TypeNat-0.1.0.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2015-02-23 01:53:17.238708 UTC |
---|---|
Compiler | ghc-7.8.3 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.7.0.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading TypeNat-0.1.0.0... Configuring TypeNat-0.1.0.0... Building TypeNat-0.1.0.0... Preprocessing library TypeNat-0.1.0.0... [1 of 3] Compiling Data.TypeNat.Nat ( Data/TypeNat/Nat.hs, dist/build/Data/TypeNat/Nat.o ) [2 of 3] Compiling Data.TypeNat.Vect ( Data/TypeNat/Vect.hs, dist/build/Data/TypeNat/Vect.o ) [3 of 3] Compiling Data.TypeNat.Fin ( Data/TypeNat/Fin.hs, dist/build/Data/TypeNat/Fin.o ) In-place registering TypeNat-0.1.0.0... Running Haddock for TypeNat-0.1.0.0... Running hscolour for TypeNat-0.1.0.0... Preprocessing library TypeNat-0.1.0.0... Preprocessing library TypeNat-0.1.0.0... Haddock coverage: Warning: Data.TypeNat.Nat: natRecursion is exported separately but will be documented under IsNat. Consider exporting it together with its parent(s) for code clarity. 8% ( 1 / 13) in 'Data.TypeNat.Nat' 75% ( 6 / 8) in 'Data.TypeNat.Vect' 21% ( 3 / 14) in 'Data.TypeNat.Fin' Documentation created: dist/doc/html/TypeNat/index.html, dist/doc/html/TypeNat/TypeNat.txt Creating package registration file: /tmp/pkgConf-TypeNat-0.1.031929.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/TypeNat-0.1.0.0 Registering TypeNat-0.1.0.0... Installed TypeNat-0.1.0.0
Test log
No test log was submitted for this report.