Build #1 for TypeNat-

[all reports]

Package TypeNat-
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-
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Downloading TypeNat-
Configuring TypeNat-
Building TypeNat-
Preprocessing library TypeNat-
[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-
Running Haddock for TypeNat-
Running hscolour for TypeNat-
Preprocessing library TypeNat-
Preprocessing library TypeNat-
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,
Creating package registration file: /tmp/pkgConf-TypeNat-0.1.031929.0
Installing library in
Registering TypeNat-
Installed TypeNat-

Test log

No test log was submitted for this report.