Resolving dependencies...
Downloading leancheck-0.3.0...
Configuring leancheck-0.3.0...
Building leancheck-0.3.0...
Preprocessing library leancheck-0.3.0...
[ 1 of 18] Compiling Test.Check.Core  ( Test/Check/Core.hs, dist/build/Test/Check/Core.o )
[ 2 of 18] Compiling Test.Check.Basic ( Test/Check/Basic.hs, dist/build/Test/Check/Basic.o )
[ 3 of 18] Compiling Test.Check.Utils ( Test/Check/Utils.hs, dist/build/Test/Check/Utils.o )
[ 4 of 18] Compiling Test.Check.Function.ListsOfPairs ( Test/Check/Function/ListsOfPairs.hs, dist/build/Test/Check/Function/ListsOfPairs.o )
[ 5 of 18] Compiling Test.Check.Function ( Test/Check/Function.hs, dist/build/Test/Check/Function.o )
[ 6 of 18] Compiling Test.Check.Function.CoListable ( Test/Check/Function/CoListable.hs, dist/build/Test/Check/Function/CoListable.o )
[ 7 of 18] Compiling Test.Check.Derive ( Test/Check/Derive.hs, dist/build/Test/Check/Derive.o )
[ 8 of 18] Compiling Test.Check.Function.Periodic ( Test/Check/Function/Periodic.hs, dist/build/Test/Check/Function/Periodic.o )
[ 9 of 18] Compiling Test.Check.IO    ( Test/Check/IO.hs, dist/build/Test/Check/IO.o )
[10 of 18] Compiling Test.Check       ( Test/Check.hs, dist/build/Test/Check.o )
[11 of 18] Compiling Test.Check.Error ( Test/Check/Error.hs, dist/build/Test/Check/Error.o )
[12 of 18] Compiling Test.Check.ShowFunction ( Test/Check/ShowFunction.hs, dist/build/Test/Check/ShowFunction.o )
[13 of 18] Compiling Test.Check.Function.Show ( Test/Check/Function/Show.hs, dist/build/Test/Check/Function/Show.o )
[14 of 18] Compiling Test.Types       ( Test/Types.hs, dist/build/Test/Types.o )
[15 of 18] Compiling Test.TypeBinding ( Test/TypeBinding.hs, dist/build/Test/TypeBinding.o )
[16 of 18] Compiling Test.Operators   ( Test/Operators.hs, dist/build/Test/Operators.o )
[17 of 18] Compiling Test.Most        ( Test/Most.hs, dist/build/Test/Most.o )
[18 of 18] Compiling Test.Check.Invariants ( Test/Check/Invariants.hs, dist/build/Test/Check/Invariants.o )
In-place registering leancheck-0.3.0...
Running Haddock for leancheck-0.3.0...
Running hscolour for leancheck-0.3.0...
Preprocessing library leancheck-0.3.0...
Preprocessing library leancheck-0.3.0...
Haddock coverage:
  90% ( 36 / 40) in 'Test.Check.Core'
  Missing documentation for:
    cons3 (Test/Check/Core.hs:218)
    cons4 (Test/Check/Core.hs:221)
    cons5 (Test/Check/Core.hs:225)
    listIntegral (Test/Check/Core.hs:117)
  22% (  2 /  9) in 'Test.Check.Basic'
  Missing documentation for:
    cons6 (Test/Check/Basic.hs:66)
    cons7 (Test/Check/Basic.hs:70)
    cons8 (Test/Check/Basic.hs:75)
    cons9 (Test/Check/Basic.hs:80)
    cons10 (Test/Check/Basic.hs:85)
    cons11 (Test/Check/Basic.hs:90)
    cons12 (Test/Check/Basic.hs:96)
  88% ( 21 / 24) in 'Test.Check.Utils'
  Missing documentation for:
    consFromAscendingList (Test/Check/Utils.hs:42)
    normalizeT (Test/Check/Utils.hs:114)
    ascendingChoices (Test/Check/Utils.hs:172)
  80% (  4 /  5) in 'Test.Check.Function.ListsOfPairs'
  Missing documentation for:
    defaultFunPairsToFunction (Test/Check/Function/ListsOfPairs.hs:61)
   0% (  0 /  1) in 'Test.Check.Function'
  Missing documentation for:
    Module header
   7% (  1 / 14) in 'Test.Check.Function.CoListable'
  Missing documentation for:
    \+:/ (Test/Check/Function/CoListable.hs:12)
    CoListable (Test/Check/Function/CoListable.hs:17)
     (Test/Check/Function/CoListable.hs:21)
     (Test/Check/Function/CoListable.hs:25)
     (Test/Check/Function/CoListable.hs:29)
     (Test/Check/Function/CoListable.hs:34)
     (Test/Check/Function/CoListable.hs:39)
     (Test/Check/Function/CoListable.hs:45)
    alts0 (Test/Check/Function/CoListable.hs:52)
    alts1 (Test/Check/Function/CoListable.hs:55)
    alts2 (Test/Check/Function/CoListable.hs:58)
    alts3 (Test/Check/Function/CoListable.hs:61)
    fListing (Test/Check/Function/CoListable.hs:64)
  50% (  1 /  2) in 'Test.Check.Derive'
  Missing documentation for:
    Module header
  10% (  1 / 10) in 'Test.Check.Function.Periodic'
  Missing documentation for:
     (Test/Check/Function/Periodic.hs:12)
    functions (Test/Check/Function/Periodic.hs:15)
    functionsz (Test/Check/Function/Periodic.hs:18)
    lsPeriodsOf (Test/Check/Function/Periodic.hs:22)
    lsPeriodsOfLimit (Test/Check/Function/Periodic.hs:25)
    isPeriod (Test/Check/Function/Periodic.hs:29)
    isPeriodOf (Test/Check/Function/Periodic.hs:34)
    tiersOfLimit (Test/Check/Function/Periodic.hs:39)
    pairsToFunction (Test/Check/Function/Periodic.hs:44)
 100% (  5 /  5) in 'Test.Check.IO'
  82% ( 58 / 71) in 'Test.Check'
  Missing documentation for:
    cons3 (Test/Check/Core.hs:218)
    cons4 (Test/Check/Core.hs:221)
    cons5 (Test/Check/Core.hs:225)
    cons6 (Test/Check/Basic.hs:66)
    cons7 (Test/Check/Basic.hs:70)
    cons8 (Test/Check/Basic.hs:75)
    cons9 (Test/Check/Basic.hs:80)
    cons10 (Test/Check/Basic.hs:85)
    cons11 (Test/Check/Basic.hs:90)
    cons12 (Test/Check/Basic.hs:96)
    normalizeT (Test/Check/Utils.hs:114)
    consFromAscendingList (Test/Check/Utils.hs:42)
    listIntegral (Test/Check/Core.hs:117)
  29% (  4 / 14) in 'Test.Check.Error'
  Missing documentation for:
    holds (Test/Check/Error.hs:103)
    fails (Test/Check/Error.hs:103)
    exists (Test/Check/Error.hs:103)
    counterExample (Test/Check/Error.hs:108)
    counterExamples (Test/Check/Error.hs:112)
    witness (Test/Check/Error.hs:108)
    witnesses (Test/Check/Error.hs:112)
    results (Test/Check/Error.hs:116)
    errorToFalse (Test/Check/Error.hs:92)
    errorToTrue (Test/Check/Error.hs:97)
 100% (  9 /  9) in 'Test.Check.ShowFunction'
 100% (  1 /  1) in 'Test.Check.Function.Show'
  83% ( 20 / 24) in 'Test.Types'
  Missing documentation for:
    UInt1 (Test/Types.hs:435)
    UInt2 (Test/Types.hs:436)
    UInt3 (Test/Types.hs:437)
    UInt4 (Test/Types.hs:438)
  48% ( 16 / 33) in 'Test.TypeBinding'
  Missing documentation for:
    bool (Test/TypeBinding.hs:185)
    int (Test/TypeBinding.hs:173)
    integer (Test/TypeBinding.hs:176)
    float (Test/TypeBinding.hs:179)
    double (Test/TypeBinding.hs:182)
    char (Test/TypeBinding.hs:188)
    string (Test/TypeBinding.hs:191)
    eith (Test/TypeBinding.hs:198)
    nat (Test/TypeBinding.hs:204)
    int1 (Test/TypeBinding.hs:207)
    uint1 (Test/TypeBinding.hs:219)
    int2 (Test/TypeBinding.hs:210)
    uint2 (Test/TypeBinding.hs:222)
    int3 (Test/TypeBinding.hs:213)
    uint3 (Test/TypeBinding.hs:225)
    int4 (Test/TypeBinding.hs:216)
    uint4 (Test/TypeBinding.hs:228)
  24% (  5 / 21) in 'Test.Operators'
  Missing documentation for:
    Module header
    === (Test/Operators.hs:36)
    ==== (Test/Operators.hs:40)
    &&& (Test/Operators.hs:44)
    &&&& (Test/Operators.hs:48)
    ||| (Test/Operators.hs:52)
    |||| (Test/Operators.hs:56)
    commutative (Test/Operators.hs:60)
    associative (Test/Operators.hs:63)
    distributive (Test/Operators.hs:67)
    transitive (Test/Operators.hs:70)
    idempotent (Test/Operators.hs:73)
    identity (Test/Operators.hs:76)
    notIdentity (Test/Operators.hs:79)
    $= (Test/Operators.hs:97)
    |= (Test/Operators.hs:111)
 100% (  5 /  5) in 'Test.Most'
  27% (  4 / 15) in 'Test.Check.Invariants'
  Missing documentation for:
    tNatPairOrd (Test/Check/Invariants.hs:74)
    tNatTripleOrd (Test/Check/Invariants.hs:78)
    tNatQuadrupleOrd (Test/Check/Invariants.hs:82)
    tNatQuintupleOrd (Test/Check/Invariants.hs:86)
    tNatSixtupleOrd (Test/Check/Invariants.hs:90)
    tNatListOrd (Test/Check/Invariants.hs:94)
    tListsOfNatOrd (Test/Check/Invariants.hs:105)
    tPairEqParams (Test/Check/Invariants.hs:109)
    tTripleEqParams (Test/Check/Invariants.hs:118)
    tProductsIsFilterByLength (Test/Check/Invariants.hs:127)
    strictlyOrdered (Test/Check/Invariants.hs:34)
Warning: Test.Check.Core: could not find link destinations for:
    resultiers
Warning: Test.Check: 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.32145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/leancheck-0.3.0-887MWNdOvh18j6FfKWupSq
Registering leancheck-0.3.0...
Installed leancheck-0.3.0