Build #1 for leancheck-0.4.1

[all reports]

Package leancheck-0.4.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-06-21 15:33:37.680319 UTC
Compiler ghc-8.0.1.20160521
OS linux
Arch x86_64
Dependencies base-4.9.0.0, template-haskell-2.11.0.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-9618/leancheck-0.4.1'
Configuring leancheck-0.4.1...
Building leancheck-0.4.1...
Preprocessing library leancheck-0.4.1...
[ 1 of 18] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, dist/build/Test/LeanCheck/Core.o )
[ 2 of 18] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, dist/build/Test/LeanCheck/IO.o )
[ 3 of 18] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, dist/build/Test/LeanCheck/Basic.o )
[ 4 of 18] Compiling Test.LeanCheck.Tiers ( src/Test/LeanCheck/Tiers.hs, dist/build/Test/LeanCheck/Tiers.o )
[ 5 of 18] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, dist/build/Test/LeanCheck/Derive.o )
[ 6 of 18] Compiling Test.LeanCheck   ( src/Test/LeanCheck.hs, dist/build/Test/LeanCheck.o )
[ 7 of 18] Compiling Test.LeanCheck.Error ( src/Test/LeanCheck/Error.hs, dist/build/Test/LeanCheck/Error.o )
[ 8 of 18] Compiling Test.LeanCheck.Function.ShowFunction ( src/Test/LeanCheck/Function/ShowFunction.hs, dist/build/Test/LeanCheck/Function/ShowFunction.o )
[ 9 of 18] Compiling Test.LeanCheck.Function.Show ( src/Test/LeanCheck/Function/Show.hs, dist/build/Test/LeanCheck/Function/Show.o )
[10 of 18] Compiling Test.LeanCheck.Utils.Types ( src/Test/LeanCheck/Utils/Types.hs, dist/build/Test/LeanCheck/Utils/Types.o )
[11 of 18] Compiling Test.LeanCheck.Utils.TypeBinding ( src/Test/LeanCheck/Utils/TypeBinding.hs, dist/build/Test/LeanCheck/Utils/TypeBinding.o )
[12 of 18] Compiling Test.LeanCheck.Utils.Operators ( src/Test/LeanCheck/Utils/Operators.hs, dist/build/Test/LeanCheck/Utils/Operators.o )
[13 of 18] Compiling Test.LeanCheck.Utils ( src/Test/LeanCheck/Utils.hs, dist/build/Test/LeanCheck/Utils.o )
[14 of 18] Compiling Test.LeanCheck.Function.ListsOfPairs ( src/Test/LeanCheck/Function/ListsOfPairs.hs, dist/build/Test/LeanCheck/Function/ListsOfPairs.o )
[15 of 18] Compiling Test.LeanCheck.Function ( src/Test/LeanCheck/Function.hs, dist/build/Test/LeanCheck/Function.o )
[16 of 18] Compiling Test.LeanCheck.Function.CoListable ( src/Test/LeanCheck/Function/CoListable.hs, dist/build/Test/LeanCheck/Function/CoListable.o )
[17 of 18] Compiling Test.LeanCheck.Function.Periodic ( src/Test/LeanCheck/Function/Periodic.hs, dist/build/Test/LeanCheck/Function/Periodic.o )
[18 of 18] Compiling Test.LeanCheck.Invariants ( src/Test/LeanCheck/Invariants.hs, dist/build/Test/LeanCheck/Invariants.o )
Running Haddock for leancheck-0.4.1...
Running hscolour for leancheck-0.4.1...
Preprocessing library leancheck-0.4.1...
Preprocessing library leancheck-0.4.1...
Haddock coverage:
 100% ( 40 / 40) in 'Test.LeanCheck.Core'
 100% (  5 /  5) in 'Test.LeanCheck.IO'
  22% (  2 /  9) in 'Test.LeanCheck.Basic'
  Missing documentation for:
    cons6 (src/Test/LeanCheck/Basic.hs:66)
    cons7 (src/Test/LeanCheck/Basic.hs:70)
    cons8 (src/Test/LeanCheck/Basic.hs:75)
    cons9 (src/Test/LeanCheck/Basic.hs:80)
    cons10 (src/Test/LeanCheck/Basic.hs:85)
    cons11 (src/Test/LeanCheck/Basic.hs:90)
    cons12 (src/Test/LeanCheck/Basic.hs:96)
  96% ( 23 / 24) in 'Test.LeanCheck.Tiers'
  Missing documentation for:
    ascendingChoices (src/Test/LeanCheck/Tiers.hs:199)
  50% (  1 /  2) in 'Test.LeanCheck.Derive'
  Missing documentation for:
    Module header
  91% ( 68 / 75) in 'Test.LeanCheck'
  29% (  4 / 14) in 'Test.LeanCheck.Error'
  Missing documentation for:
    holds (src/Test/LeanCheck/Error.hs:103)
    fails (src/Test/LeanCheck/Error.hs:103)
    exists (src/Test/LeanCheck/Error.hs:103)
    counterExample (src/Test/LeanCheck/Error.hs:108)
    counterExamples (src/Test/LeanCheck/Error.hs:112)
    witness (src/Test/LeanCheck/Error.hs:108)
    witnesses (src/Test/LeanCheck/Error.hs:112)
    results (src/Test/LeanCheck/Error.hs:116)
    errorToFalse (src/Test/LeanCheck/Error.hs:92)
    errorToTrue (src/Test/LeanCheck/Error.hs:97)
 100% (  9 /  9) in 'Test.LeanCheck.Function.ShowFunction'
 100% (  1 /  1) in 'Test.LeanCheck.Function.Show'
  83% ( 20 / 24) in 'Test.LeanCheck.Utils.Types'
  Missing documentation for:
    UInt1 (src/Test/LeanCheck/Utils/Types.hs:435)
    UInt2 (src/Test/LeanCheck/Utils/Types.hs:436)
    UInt3 (src/Test/LeanCheck/Utils/Types.hs:437)
    UInt4 (src/Test/LeanCheck/Utils/Types.hs:438)
  48% ( 16 / 33) in 'Test.LeanCheck.Utils.TypeBinding'
  Missing documentation for:
    bool (src/Test/LeanCheck/Utils/TypeBinding.hs:185)
    int (src/Test/LeanCheck/Utils/TypeBinding.hs:173)
    integer (src/Test/LeanCheck/Utils/TypeBinding.hs:176)
    float (src/Test/LeanCheck/Utils/TypeBinding.hs:179)
    double (src/Test/LeanCheck/Utils/TypeBinding.hs:182)
    char (src/Test/LeanCheck/Utils/TypeBinding.hs:188)
    string (src/Test/LeanCheck/Utils/TypeBinding.hs:191)
    eith (src/Test/LeanCheck/Utils/TypeBinding.hs:198)
    nat (src/Test/LeanCheck/Utils/TypeBinding.hs:204)
    int1 (src/Test/LeanCheck/Utils/TypeBinding.hs:207)
    uint1 (src/Test/LeanCheck/Utils/TypeBinding.hs:219)
    int2 (src/Test/LeanCheck/Utils/TypeBinding.hs:210)
    uint2 (src/Test/LeanCheck/Utils/TypeBinding.hs:222)
    int3 (src/Test/LeanCheck/Utils/TypeBinding.hs:213)
    uint3 (src/Test/LeanCheck/Utils/TypeBinding.hs:225)
    int4 (src/Test/LeanCheck/Utils/TypeBinding.hs:216)
    uint4 (src/Test/LeanCheck/Utils/TypeBinding.hs:228)
  24% (  5 / 21) in 'Test.LeanCheck.Utils.Operators'
  Missing documentation for:
    Module header
    === (src/Test/LeanCheck/Utils/Operators.hs:36)
    ==== (src/Test/LeanCheck/Utils/Operators.hs:40)
    &&& (src/Test/LeanCheck/Utils/Operators.hs:44)
    &&&& (src/Test/LeanCheck/Utils/Operators.hs:48)
    ||| (src/Test/LeanCheck/Utils/Operators.hs:52)
    |||| (src/Test/LeanCheck/Utils/Operators.hs:56)
    commutative (src/Test/LeanCheck/Utils/Operators.hs:60)
    associative (src/Test/LeanCheck/Utils/Operators.hs:63)
    distributive (src/Test/LeanCheck/Utils/Operators.hs:67)
    transitive (src/Test/LeanCheck/Utils/Operators.hs:70)
    idempotent (src/Test/LeanCheck/Utils/Operators.hs:73)
    identity (src/Test/LeanCheck/Utils/Operators.hs:76)
    notIdentity (src/Test/LeanCheck/Utils/Operators.hs:79)
    $= (src/Test/LeanCheck/Utils/Operators.hs:97)
    |= (src/Test/LeanCheck/Utils/Operators.hs:111)
  75% (  3 /  4) in 'Test.LeanCheck.Utils'
  Missing documentation for:
    Module header
  80% (  4 /  5) in 'Test.LeanCheck.Function.ListsOfPairs'
  Missing documentation for:
    defaultFunPairsToFunction (src/Test/LeanCheck/Function/ListsOfPairs.hs:61)
   0% (  0 /  1) in 'Test.LeanCheck.Function'
  Missing documentation for:
    Module header
   7% (  1 / 14) in 'Test.LeanCheck.Function.CoListable'
  Missing documentation for:
    \+:/ (src/Test/LeanCheck/Function/CoListable.hs:11)
    CoListable (src/Test/LeanCheck/Function/CoListable.hs:16)
     (src/Test/LeanCheck/Function/CoListable.hs:20)
     (src/Test/LeanCheck/Function/CoListable.hs:24)
     (src/Test/LeanCheck/Function/CoListable.hs:28)
     (src/Test/LeanCheck/Function/CoListable.hs:33)
     (src/Test/LeanCheck/Function/CoListable.hs:38)
     (src/Test/LeanCheck/Function/CoListable.hs:44)
    alts0 (src/Test/LeanCheck/Function/CoListable.hs:51)
    alts1 (src/Test/LeanCheck/Function/CoListable.hs:54)
    alts2 (src/Test/LeanCheck/Function/CoListable.hs:57)
    alts3 (src/Test/LeanCheck/Function/CoListable.hs:60)
    fListing (src/Test/LeanCheck/Function/CoListable.hs:63)
  10% (  1 / 10) in 'Test.LeanCheck.Function.Periodic'
  Missing documentation for:
     (src/Test/LeanCheck/Function/Periodic.hs:11)
    functions (src/Test/LeanCheck/Function/Periodic.hs:14)
    functionsz (src/Test/LeanCheck/Function/Periodic.hs:17)
    lsPeriodsOf (src/Test/LeanCheck/Function/Periodic.hs:21)
    lsPeriodsOfLimit (src/Test/LeanCheck/Function/Periodic.hs:24)
    isPeriod (src/Test/LeanCheck/Function/Periodic.hs:28)
    isPeriodOf (src/Test/LeanCheck/Function/Periodic.hs:33)
    tiersOfLimit (src/Test/LeanCheck/Function/Periodic.hs:38)
    pairsToFunction (src/Test/LeanCheck/Function/Periodic.hs:43)
  27% (  4 / 15) in 'Test.LeanCheck.Invariants'
  Missing documentation for:
    tNatPairOrd (src/Test/LeanCheck/Invariants.hs:74)
    tNatTripleOrd (src/Test/LeanCheck/Invariants.hs:78)
    tNatQuadrupleOrd (src/Test/LeanCheck/Invariants.hs:82)
    tNatQuintupleOrd (src/Test/LeanCheck/Invariants.hs:86)
    tNatSixtupleOrd (src/Test/LeanCheck/Invariants.hs:90)
    tNatListOrd (src/Test/LeanCheck/Invariants.hs:94)
    tListsOfNatOrd (src/Test/LeanCheck/Invariants.hs:105)
    tPairEqParams (src/Test/LeanCheck/Invariants.hs:109)
    tTripleEqParams (src/Test/LeanCheck/Invariants.hs:118)
    tProductsIsFilterByLength (src/Test/LeanCheck/Invariants.hs:127)
    strictlyOrdered (src/Test/LeanCheck/Invariants.hs:34)
Warning: Test.LeanCheck.Core: could not find link destinations for:
    resultiers
Warning: Test.LeanCheck: could not find link destinations for:
    resultiers
Documentation created: dist/doc/html/leancheck/index.html,
dist/doc/html/leancheck/leancheck.txt
Creating package registration file:
/tmp/pkgConf-leancheck-0.46281750111656478042.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/leancheck-0.4.1-2y2LPbRMcPcDpyrNY5TGcf
Registering leancheck-0.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-9618/leancheck-0.4.1'
Installed leancheck-0.4.1

Test log

No test log was submitted for this report.