Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-16797/leancheck-0.5.0'
Configuring leancheck-0.5.0...
Building leancheck-0.5.0...
Preprocessing library leancheck-0.5.0...
[ 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.5.0...
Running hscolour for leancheck-0.5.0...
Preprocessing library leancheck-0.5.0...
Preprocessing library leancheck-0.5.0...
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:70)
    cons7 (src/Test/LeanCheck/Basic.hs:74)
    cons8 (src/Test/LeanCheck/Basic.hs:79)
    cons9 (src/Test/LeanCheck/Basic.hs:84)
    cons10 (src/Test/LeanCheck/Basic.hs:89)
    cons11 (src/Test/LeanCheck/Basic.hs:94)
    cons12 (src/Test/LeanCheck/Basic.hs:100)
 100% ( 30 / 30) in 'Test.LeanCheck.Tiers'
 100% (  2 /  2) in 'Test.LeanCheck.Derive'
  90% ( 65 / 72) in 'Test.LeanCheck'
  29% (  4 / 14) in 'Test.LeanCheck.Error'
  Missing documentation for:
    holds (src/Test/LeanCheck/Error.hs:102)
    fails (src/Test/LeanCheck/Error.hs:102)
    exists (src/Test/LeanCheck/Error.hs:102)
    counterExample (src/Test/LeanCheck/Error.hs:107)
    counterExamples (src/Test/LeanCheck/Error.hs:111)
    witness (src/Test/LeanCheck/Error.hs:107)
    witnesses (src/Test/LeanCheck/Error.hs:111)
    results (src/Test/LeanCheck/Error.hs:115)
    errorToFalse (src/Test/LeanCheck/Error.hs:91)
    errorToTrue (src/Test/LeanCheck/Error.hs:96)
 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)
  60% ( 24 / 40) in 'Test.LeanCheck.Utils.Operators'
  Missing documentation for:
    Module header
    === (src/Test/LeanCheck/Utils/Operators.hs:62)
    ==== (src/Test/LeanCheck/Utils/Operators.hs:66)
    &&& (src/Test/LeanCheck/Utils/Operators.hs:70)
    &&&& (src/Test/LeanCheck/Utils/Operators.hs:74)
    ||| (src/Test/LeanCheck/Utils/Operators.hs:82)
    |||| (src/Test/LeanCheck/Utils/Operators.hs:86)
    equivalence (src/Test/LeanCheck/Utils/Operators.hs:144)
    partialOrder (src/Test/LeanCheck/Utils/Operators.hs:149)
    strictPartialOrder (src/Test/LeanCheck/Utils/Operators.hs:154)
    totalOrder (src/Test/LeanCheck/Utils/Operators.hs:159)
    strictTotalOrder (src/Test/LeanCheck/Utils/Operators.hs:164)
    comparison (src/Test/LeanCheck/Utils/Operators.hs:170)
    okEq (src/Test/LeanCheck/Utils/Operators.hs:209)
    okOrd (src/Test/LeanCheck/Utils/Operators.hs:212)
    okEqOrd (src/Test/LeanCheck/Utils/Operators.hs:217)
 100% (  4 /  4) in 'Test.LeanCheck.Utils'
  80% (  4 /  5) in 'Test.LeanCheck.Function.ListsOfPairs'
  Missing documentation for:
    defaultFunPairsToFunction (src/Test/LeanCheck/Function/ListsOfPairs.hs:66)
 100% (  1 /  1) in 'Test.LeanCheck.Function'
   7% (  1 / 14) in 'Test.LeanCheck.Function.CoListable'
  Missing documentation for:
    \+:/ (src/Test/LeanCheck/Function/CoListable.hs:14)
    CoListable (src/Test/LeanCheck/Function/CoListable.hs:19)
     (src/Test/LeanCheck/Function/CoListable.hs:23)
     (src/Test/LeanCheck/Function/CoListable.hs:27)
     (src/Test/LeanCheck/Function/CoListable.hs:31)
     (src/Test/LeanCheck/Function/CoListable.hs:36)
     (src/Test/LeanCheck/Function/CoListable.hs:41)
     (src/Test/LeanCheck/Function/CoListable.hs:47)
    alts0 (src/Test/LeanCheck/Function/CoListable.hs:54)
    alts1 (src/Test/LeanCheck/Function/CoListable.hs:57)
    alts2 (src/Test/LeanCheck/Function/CoListable.hs:60)
    alts3 (src/Test/LeanCheck/Function/CoListable.hs:63)
    fListing (src/Test/LeanCheck/Function/CoListable.hs:66)
  10% (  1 / 10) in 'Test.LeanCheck.Function.Periodic'
  Missing documentation for:
     (src/Test/LeanCheck/Function/Periodic.hs:13)
    functions (src/Test/LeanCheck/Function/Periodic.hs:16)
    functionsz (src/Test/LeanCheck/Function/Periodic.hs:19)
    lsPeriodsOf (src/Test/LeanCheck/Function/Periodic.hs:23)
    lsPeriodsOfLimit (src/Test/LeanCheck/Function/Periodic.hs:26)
    isPeriod (src/Test/LeanCheck/Function/Periodic.hs:30)
    isPeriodOf (src/Test/LeanCheck/Function/Periodic.hs:35)
    tiersOfLimit (src/Test/LeanCheck/Function/Periodic.hs:40)
    pairsToFunction (src/Test/LeanCheck/Function/Periodic.hs:45)
  27% (  4 / 15) in 'Test.LeanCheck.Invariants'
  Missing documentation for:
    tNatPairOrd (src/Test/LeanCheck/Invariants.hs:75)
    tNatTripleOrd (src/Test/LeanCheck/Invariants.hs:79)
    tNatQuadrupleOrd (src/Test/LeanCheck/Invariants.hs:83)
    tNatQuintupleOrd (src/Test/LeanCheck/Invariants.hs:87)
    tNatSixtupleOrd (src/Test/LeanCheck/Invariants.hs:91)
    tNatListOrd (src/Test/LeanCheck/Invariants.hs:95)
    tListsOfNatOrd (src/Test/LeanCheck/Invariants.hs:106)
    tPairEqParams (src/Test/LeanCheck/Invariants.hs:110)
    tTripleEqParams (src/Test/LeanCheck/Invariants.hs:119)
    tProductsIsFilterByLength (src/Test/LeanCheck/Invariants.hs:128)
    strictlyOrdered (src/Test/LeanCheck/Invariants.hs:35)
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.56281750111656478042.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/leancheck-0.5.0-7dn7rbUv6yuKaWnK5O4geI
Registering leancheck-0.5.0...
cabal: Leaving directory '/tmp/cabal-tmp-16797/leancheck-0.5.0'
Installed leancheck-0.5.0