Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-2398/primitive-0.6.1.0'
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive   ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...

Control/Monad/Primitive.hs:41:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:100:47: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

Control/Monad/Primitive.hs:101:19: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
 100% (  3 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
  Missing documentation for:
    sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
    sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
    sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
    sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
    aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
    Word64_# (Data/Primitive/MachDeps.hs:120)
    Int64_# (Data/Primitive/MachDeps.hs:121)
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
  Missing documentation for:
    setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
    setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
    setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
    setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
    setWordArray# (Data/Primitive/Internal/Operations.hs:41)
    setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
    setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
    setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
    setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
    setIntArray# (Data/Primitive/Internal/Operations.hs:51)
    setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
    setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
    setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
    setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
    setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
    setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
    setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
    setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
    setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
    setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
    setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
    setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
    setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
    setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
    setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
    setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
    setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
    setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
  75% ( 12 / 16) in 'Control.Monad.Primitive'
  Missing documentation for:
    unsafeInlinePrim (Control/Monad/Primitive.hs:189)
    unsafeInlineIO (Control/Monad/Primitive.hs:193)
    unsafeInlineST (Control/Monad/Primitive.hs:197)
    touch (Control/Monad/Primitive.hs:201)
 100% (  3 /  3) in 'Data.Primitive.Types'
 100% ( 15 / 15) in 'Data.Primitive.Array'
  93% ( 27 / 29) in 'Data.Primitive.ByteArray'
  Missing documentation for:
    ByteArray#
    MutableByteArray#
 100% ( 16 / 16) in 'Data.Primitive.Addr'
 100% (  7 /  7) in 'Data.Primitive'
 100% (  9 /  9) in 'Data.Primitive.MutVar'
Warning: Control.Monad.Primitive: could not find link destinations for:
    ~
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.12145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-2398/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-2398/random-1.1'
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...

System/Random.hs:43:1: warning: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file:
/tmp/pkgConf-random-119607098591760281936.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-2398/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-2398/tf-random-0.5'
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )

src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...

src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations]
    In the use of ‘bitSize’ (imported from Data.Bits):
    Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
 100% (  4 /  4) in 'System.Random.TF.Gen'
  83% (  5 /  6) in 'System.Random.TF.Init'
  Missing documentation for:
    Module header
  33% (  1 /  3) in 'System.Random.TF.Instances'
  Missing documentation for:
    Random (src/System/Random/TF/Instances.hs:37)
    randomEnum (src/System/Random/TF/Instances.hs:205)
 100% (  3 /  3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file:
/tmp/pkgConf-tf-random-01529195746392035568.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD
Registering tf-random-0.5...
cabal: Leaving directory '/tmp/cabal-tmp-2398/tf-random-0.5'
Installed tf-random-0.5
cabal: Entering directory '/tmp/cabal-tmp-2398/QuickCheck-2.9.1'
Configuring QuickCheck-2.9.1...
Building QuickCheck-2.9.1...
Preprocessing library QuickCheck-2.9.1...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck  ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
Running Haddock for QuickCheck-2.9.1...
Running hscolour for QuickCheck-2.9.1...
Preprocessing library QuickCheck-2.9.1...
Preprocessing library QuickCheck-2.9.1...
Haddock coverage:
  10% (  2 / 20) in 'Test.QuickCheck.Random'
  Missing documentation for:
    newTheGen (Test/QuickCheck/Random.hs:17)
    bits (Test/QuickCheck/Random.hs:20)
    mask (Test/QuickCheck/Random.hs:20)
    doneBit (Test/QuickCheck/Random.hs:20)
    chip (Test/QuickCheck/Random.hs:25)
    chop (Test/QuickCheck/Random.hs:30)
    stop (Test/QuickCheck/Random.hs:33)
    mkTheGen (Test/QuickCheck/Random.hs:36)
     (Test/QuickCheck/Random.hs:65)
     (Test/QuickCheck/Random.hs:67)
     (Test/QuickCheck/Random.hs:70)
    newQCGen (Test/QuickCheck/Random.hs:79)
    mkQCGen (Test/QuickCheck/Random.hs:82)
    bigNatVariant (Test/QuickCheck/Random.hs:85)
    natVariant (Test/QuickCheck/Random.hs:91)
    variantTheGen (Test/QuickCheck/Random.hs:97)
    boolVariant (Test/QuickCheck/Random.hs:103)
    variantQCGen (Test/QuickCheck/Random.hs:107)
  33% (  3 /  9) in 'Test.QuickCheck.Exception'
  Missing documentation for:
    AnException (Test/QuickCheck/Exception.hs:23)
    tryEvaluate (Test/QuickCheck/Exception.hs:55)
    tryEvaluateIO (Test/QuickCheck/Exception.hs:58)
    evaluate (Test/QuickCheck/Exception.hs:62)
    isDiscard (Test/QuickCheck/Exception.hs:81)
    finally (Test/QuickCheck/Exception.hs:96)
   6% (  1 / 18) in 'Test.QuickCheck.Text'
  Missing documentation for:
    Str (Test/QuickCheck/Text.hs:47)
    ranges (Test/QuickCheck/Text.hs:52)
    number (Test/QuickCheck/Text.hs:60)
    short (Test/QuickCheck/Text.hs:63)
    showErr (Test/QuickCheck/Text.hs:71)
    oneLine (Test/QuickCheck/Text.hs:74)
    isOneLine (Test/QuickCheck/Text.hs:77)
    bold (Test/QuickCheck/Text.hs:80)
    newTerminal (Test/QuickCheck/Text.hs:91)
    withStdioTerminal (Test/QuickCheck/Text.hs:105)
    withNullTerminal (Test/QuickCheck/Text.hs:111)
    terminalOutput (Test/QuickCheck/Text.hs:115)
    handle (Test/QuickCheck/Text.hs:118)
    Terminal (Test/QuickCheck/Text.hs:88)
    putTemp (Test/QuickCheck/Text.hs:129)
    putPart (Test/QuickCheck/Text.hs:129)
    putLine (Test/QuickCheck/Text.hs:129)
 100% (  2 /  2) in 'Test.QuickCheck.State'
  89% ( 25 / 28) in 'Test.QuickCheck.Gen'
  Missing documentation for:
     (Test/QuickCheck/Gen.hs:48)
     (Test/QuickCheck/Gen.hs:52)
     (Test/QuickCheck/Gen.hs:56)
  80% (  4 /  5) in 'Test.QuickCheck.Gen.Unsafe'
  Missing documentation for:
    Capture (Test/QuickCheck/Gen/Unsafe.hs:50)
 100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary'
  93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
  Missing documentation for:
    ShrinkState (Test/QuickCheck/Modifiers.hs:323)
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
  Missing documentation for:
    A (Test/QuickCheck/Poly.hs:29)
    B (Test/QuickCheck/Poly.hs:44)
    C (Test/QuickCheck/Poly.hs:59)
    OrdA (Test/QuickCheck/Poly.hs:77)
    OrdB (Test/QuickCheck/Poly.hs:96)
    OrdC (Test/QuickCheck/Poly.hs:115)
  73% (  8 / 11) in 'Test.QuickCheck.Function'
  Missing documentation for:
    Fun (Test/QuickCheck/Function.hs:452)
    apply (Test/QuickCheck/Function.hs:466)
    Function (Test/QuickCheck/Function.hs:138)
  62% ( 45 / 72) in 'Test.QuickCheck.Property'
  Missing documentation for:
     (Test/QuickCheck/Property.hs:91)
     (Test/QuickCheck/Property.hs:94)
     (Test/QuickCheck/Property.hs:97)
     (Test/QuickCheck/Property.hs:100)
     (Test/QuickCheck/Property.hs:103)
     (Test/QuickCheck/Property.hs:106)
     (Test/QuickCheck/Property.hs:128)
    protect (Test/QuickCheck/Property.hs:132)
    Prop (Test/QuickCheck/Property.hs:138)
    Rose (Test/QuickCheck/Property.hs:142)
    ioRose (Test/QuickCheck/Property.hs:145)
    joinRose (Test/QuickCheck/Property.hs:148)
     (Test/QuickCheck/Property.hs:157)
     (Test/QuickCheck/Property.hs:162)
     (Test/QuickCheck/Property.hs:167)
    CallbackKind (Test/QuickCheck/Property.hs:201)
    exception (Test/QuickCheck/Property.hs:217)
    formatException (Test/QuickCheck/Property.hs:223)
    protectResult (Test/QuickCheck/Property.hs:228)
    succeeded (Test/QuickCheck/Property.hs:231)
    failed (Test/QuickCheck/Property.hs:231)
    rejected (Test/QuickCheck/Property.hs:231)
    liftBool (Test/QuickCheck/Property.hs:252)
    mapResult (Test/QuickCheck/Property.hs:256)
    mapTotalResult (Test/QuickCheck/Property.hs:259)
    mapRoseResult (Test/QuickCheck/Property.hs:263)
    mapProp (Test/QuickCheck/Property.hs:266)
  50% ( 14 / 28) in 'Test.QuickCheck.Test'
  Missing documentation for:
    test (Test/QuickCheck/Test.hs:191)
    doneTesting (Test/QuickCheck/Test.hs:197)
    giveUp (Test/QuickCheck/Test.hs:227)
    runATest (Test/QuickCheck/Test.hs:243)
    summary (Test/QuickCheck/Test.hs:309)
    success (Test/QuickCheck/Test.hs:320)
    labelPercentage (Test/QuickCheck/Test.hs:350)
    insufficientCoverage (Test/QuickCheck/Test.hs:358)
    foundFailure (Test/QuickCheck/Test.hs:365)
    localMin (Test/QuickCheck/Test.hs:369)
    localMin' (Test/QuickCheck/Test.hs:399)
    localMinFound (Test/QuickCheck/Test.hs:411)
    callbackPostTest (Test/QuickCheck/Test.hs:436)
    callbackPostFinalFailure (Test/QuickCheck/Test.hs:441)
 100% (  9 /  9) in 'Test.QuickCheck.All'
  78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
  Missing documentation for:
    stop (Test/QuickCheck/Monadic.hs:118)
    monadic (Test/QuickCheck/Monadic.hs:204)
    monadic' (Test/QuickCheck/Monadic.hs:207)
    runSTGen (Test/QuickCheck/Monadic.hs:246)
  99% (128 /129) in 'Test.QuickCheck'
  Missing documentation for:
    ShrinkState (Test/QuickCheck/Modifiers.hs:323)
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
    GCoArbitrary RecursivelyShrink GSubterms gSubterms gSubtermsIncl
Warning: Test.QuickCheck.Function: could not find link destinations for:
    GFunction
Warning: Test.QuickCheck: could not find link destinations for:
    GCoArbitrary RecursivelyShrink GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file:
/tmp/pkgConf-QuickCheck-2.9324763920155789224.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/QuickCheck-2.9.1-ADKJfTsJVEWJp7VC229wVi
Registering QuickCheck-2.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-2398/QuickCheck-2.9.1'
Installed QuickCheck-2.9.1
Downloading checkers-0.4.5...
cabal: Entering directory '/tmp/cabal-tmp-2398/checkers-0.4.5'
Configuring checkers-0.4.5...
Building checkers-0.4.5...
Preprocessing library checkers-0.4.5...
[ 1 of 15] Compiling Control.Monad.Extensions ( src/Control/Monad/Extensions.hs, dist/build/Control/Monad/Extensions.o )
[ 2 of 15] Compiling Test.QuickCheck.Instances.Array ( src/Test/QuickCheck/Instances/Array.hs, dist/build/Test/QuickCheck/Instances/Array.o )

src/Test/QuickCheck/Instances/Array.hs:5:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Test/QuickCheck/Instances/Array.hs:12:10: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ix a, Integral a)
    • In the instance declaration for ‘CoArbitrary (Array a b)’
[ 3 of 15] Compiling Test.QuickCheck.Instances.Tuple ( src/Test/QuickCheck/Instances/Tuple.hs, dist/build/Test/QuickCheck/Instances/Tuple.o )
[ 4 of 15] Compiling Test.QuickCheck.Instances.Ord ( src/Test/QuickCheck/Instances/Ord.hs, dist/build/Test/QuickCheck/Instances/Ord.o )

src/Test/QuickCheck/Instances/Ord.hs:6:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           greaterThan :: (Ord a, Arbitrary a) => a -> Gen a -> Gen a

src/Test/QuickCheck/Instances/Ord.hs:9:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           lessThan :: (Ord a, Arbitrary a) => a -> Gen a -> Gen a
[ 5 of 15] Compiling Test.QuickCheck.Instances.Num ( src/Test/QuickCheck/Instances/Num.hs, dist/build/Test/QuickCheck/Instances/Num.o )

src/Test/QuickCheck/Instances/Num.hs:9:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Test/QuickCheck/Instances/Num.hs:23:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           nonZero :: (Eq a, Num a, Arbitrary a) => Gen a -> Gen a
[ 6 of 15] Compiling Test.QuickCheck.Instances.Maybe ( src/Test/QuickCheck/Instances/Maybe.hs, dist/build/Test/QuickCheck/Instances/Maybe.o )

src/Test/QuickCheck/Instances/Maybe.hs:4:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[ 7 of 15] Compiling Test.QuickCheck.Instances.List ( src/Test/QuickCheck/Instances/List.hs, dist/build/Test/QuickCheck/Instances/List.o )
[ 8 of 15] Compiling Test.QuickCheck.Bottoms ( src/Test/QuickCheck/Bottoms.hs, dist/build/Test/QuickCheck/Bottoms.o )
[ 9 of 15] Compiling Test.QuickCheck.Utils ( src/Test/QuickCheck/Utils.hs, dist/build/Test/QuickCheck/Utils.o )

src/Test/QuickCheck/Utils.hs:30:1: warning: [-Wtabs]
    Tab character found here, and in 9 further locations.
    Please use spaces instead.

src/Test/QuickCheck/Utils.hs:50:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Arbitrary a, Show a)
    • In the type signature for:
           isTotalOrder :: (Arbitrary a, Show a, Ord a) => a -> a -> Property
[10 of 15] Compiling Test.QuickCheck.Checkers ( src/Test/QuickCheck/Checkers.hs, dist/build/Test/QuickCheck/Checkers.o )

src/Test/QuickCheck/Checkers.hs:47:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

src/Test/QuickCheck/Checkers.hs:371:1: warning: [-Wtabs]
    Tab character found here, and in three further locations.
    Please use spaces instead.
[11 of 15] Compiling Test.QuickCheck.Instances.Eq ( src/Test/QuickCheck/Instances/Eq.hs, dist/build/Test/QuickCheck/Instances/Eq.o )

src/Test/QuickCheck/Instances/Eq.hs:7:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           notEqualTo :: (Eq a, Arbitrary a) => a -> Gen a -> Gen a
[12 of 15] Compiling Test.QuickCheck.Instances.Char ( src/Test/QuickCheck/Instances/Char.hs, dist/build/Test/QuickCheck/Instances/Char.o )
[13 of 15] Compiling Test.QuickCheck.Classes ( src/Test/QuickCheck/Classes.hs, dist/build/Test/QuickCheck/Classes.o )

src/Test/QuickCheck/Classes.hs:29:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

src/Test/QuickCheck/Classes.hs:44:1: warning: [-Wredundant-constraints]
    • Redundant constraint: EqProp a
    • In the type signature for:
           ordRel :: (Ord a, Show a, Arbitrary a, EqProp a) =>
                     BinRel a -> (a -> Gen a) -> TestBatch

src/Test/QuickCheck/Classes.hs:154:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           functor :: (Functor m, Arbitrary a, Arbitrary b, Arbitrary c,
                       CoArbitrary a, CoArbitrary b, Show (m a), Arbitrary (m a),
                       EqProp (m a), EqProp (m c)) =>
                      m (a, b, c) -> TestBatch

src/Test/QuickCheck/Classes.hs:277:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary b
    • In the type signature for:
           monad :: (Monad m, Show a, Arbitrary a, CoArbitrary a, Arbitrary b,
                     CoArbitrary b, Arbitrary (m a), EqProp (m a), Show (m a),
                     Arbitrary (m b), EqProp (m b), Arbitrary (m c), EqProp (m c)) =>
                    m (a, b, c) -> TestBatch

src/Test/QuickCheck/Classes.hs:301:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Functor m, Arbitrary a)
    • In the type signature for:
           monadFunctor :: (Functor m, Monad m, Arbitrary a, Arbitrary b,
                            CoArbitrary a, Arbitrary (m a), Show (m a), EqProp (m b)) =>
                           m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:312:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Applicative m
    • In the type signature for:
           monadApplicative :: (Applicative m, Monad m, EqProp (m a),
                                EqProp (m b), Show a, Arbitrary a, Show (m a), Arbitrary (m a),
                                Show (m (a -> b)), Arbitrary (m (a -> b))) =>
                               m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:334:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Functor g,
                              Show (f (NumT -> T)),
                              Arbitrary (f (NumT -> T)))
    • In the type signature for:
           monadMorphism :: (Monad f, Monad g, Functor g, Show (f NumT),
                             Show (f (NumT -> T)), Show (f (f (NumT -> T))), Arbitrary (f NumT),
                             Arbitrary (f T), Arbitrary (f (NumT -> T)),
                             Arbitrary (f (f (NumT -> T))), EqProp (g NumT), EqProp (g T),
                             EqProp (g (NumT -> T))) =>
                            (forall a. f a -> g a) -> TestBatch

src/Test/QuickCheck/Classes.hs:376:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Functor g
    • In the type signature for:
           semanticMonad :: (Model1 f g, Monad f, Monad g, EqProp (g T),
                             EqProp (g NumT), EqProp (g (NumT -> T)), Arbitrary (f T),
                             Arbitrary (f NumT), Arbitrary (f (f (NumT -> T))),
                             Arbitrary (f (NumT -> T)), Show (f (f (NumT -> T))),
                             Show (f (NumT -> T)), Show (f NumT), Functor g) =>
                            f () -> TestBatch

src/Test/QuickCheck/Classes.hs:392:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           monadPlus :: (MonadPlus m, Show (m a), Arbitrary a, CoArbitrary a,
                         Arbitrary (m a), Arbitrary (m b), EqProp (m a), EqProp (m b)) =>
                        m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:434:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           alternative :: (Alternative f, Arbitrary a, Arbitrary (f a),
                           EqProp (f a), Show (f a)) =>
                          f a -> TestBatch

src/Test/QuickCheck/Classes.hs:445:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Show b,
                              Show c,
                              Show d,
                              Show e,
                              Arbitrary b,
                              EqProp b,
                              EqProp c,
                              EqProp d,
                              EqProp e)
    • In the type signature for:
           arrow :: (Arrow a, Show (a d e), Show (a c d), Show (a b c),
                     Show b, Show c, Show d, Show e, Arbitrary (a d e),
                     Arbitrary (a c d), Arbitrary (a b c), Arbitrary b, Arbitrary c,
                     Arbitrary d, Arbitrary e, CoArbitrary b, CoArbitrary c,
                     CoArbitrary d, EqProp (a b e), EqProp (a b d), EqProp (a (b, d) c),
                     EqProp (a (b, d) (c, d)), EqProp (a (b, e) (d, e)),
                     EqProp (a (b, d) (c, e)), EqProp b, EqProp c, EqProp d,
                     EqProp e) =>
                    a b (c, d, e) -> TestBatch

src/Test/QuickCheck/Classes.hs:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Arbitrary b, Arbitrary d)
    • In the type signature for:
           arrowChoice :: (ArrowChoice a, Show (a b c), Arbitrary (a b c),
                           Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, CoArbitrary b,
                           CoArbitrary d, EqProp (a (Either b d) (Either c e)),
                           EqProp (a (Either b d) (Either c d))) =>
                          a b (c, d, e) -> TestBatch

src/Test/QuickCheck/Classes.hs:517:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           traversable :: (Traversable f, Monoid m, Show (f a),
                           Arbitrary (f a), Arbitrary b, Arbitrary a, Arbitrary m,
                           CoArbitrary a, EqProp (f b), EqProp m) =>
                          f (a, b, m) -> TestBatch
[14 of 15] Compiling Test.QuickCheck.Instances ( src/Test/QuickCheck/Instances.hs, dist/build/Test/QuickCheck/Instances.o )
[15 of 15] Compiling Test.QuickCheck.Later ( src/Test/QuickCheck/Later.hs, dist/build/Test/QuickCheck/Later.o )
Running Haddock for checkers-0.4.5...
Running hscolour for checkers-0.4.5...
Preprocessing library checkers-0.4.5...
Preprocessing library checkers-0.4.5...

src/Test/QuickCheck/Instances/Array.hs:5:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Test/QuickCheck/Instances/Array.hs:12:10: warning: [-Wredundant-constraints]
    • Redundant constraints: (Ix a, Integral a)
    • In the instance declaration for ‘CoArbitrary (Array a b)’

src/Test/QuickCheck/Instances/Ord.hs:6:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           greaterThan :: (Ord a, Arbitrary a) => a -> Gen a -> Gen a

src/Test/QuickCheck/Instances/Ord.hs:9:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           lessThan :: (Ord a, Arbitrary a) => a -> Gen a -> Gen a

src/Test/QuickCheck/Instances/Num.hs:9:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Test/QuickCheck/Instances/Num.hs:23:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           nonZero :: (Eq a, Num a, Arbitrary a) => Gen a -> Gen a

src/Test/QuickCheck/Instances/Maybe.hs:4:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Test/QuickCheck/Utils.hs:30:1: warning: [-Wtabs]
    Tab character found here, and in 9 further locations.
    Please use spaces instead.

src/Test/QuickCheck/Utils.hs:50:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Arbitrary a, Show a)
    • In the type signature for:
           isTotalOrder :: (Arbitrary a, Show a, Ord a) => a -> a -> Property

src/Test/QuickCheck/Checkers.hs:371:1: warning: [-Wtabs]
    Tab character found here, and in three further locations.
    Please use spaces instead.

src/Test/QuickCheck/Checkers.hs:47:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

src/Test/QuickCheck/Instances/Eq.hs:7:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           notEqualTo :: (Eq a, Arbitrary a) => a -> Gen a -> Gen a

src/Test/QuickCheck/Classes.hs:29:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()

src/Test/QuickCheck/Classes.hs:44:1: warning: [-Wredundant-constraints]
    • Redundant constraint: EqProp a
    • In the type signature for:
           ordRel :: (Ord a, Show a, Arbitrary a, EqProp a) =>
                     BinRel a -> (a -> Gen a) -> TestBatch

src/Test/QuickCheck/Classes.hs:154:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           functor :: (Functor m, Arbitrary a, Arbitrary b, Arbitrary c,
                       CoArbitrary a, CoArbitrary b, Show (m a), Arbitrary (m a),
                       EqProp (m a), EqProp (m c)) =>
                      m (a, b, c) -> TestBatch

src/Test/QuickCheck/Classes.hs:277:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary b
    • In the type signature for:
           monad :: (Monad m, Show a, Arbitrary a, CoArbitrary a, Arbitrary b,
                     CoArbitrary b, Arbitrary (m a), EqProp (m a), Show (m a),
                     Arbitrary (m b), EqProp (m b), Arbitrary (m c), EqProp (m c)) =>
                    m (a, b, c) -> TestBatch

src/Test/QuickCheck/Classes.hs:301:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Functor m, Arbitrary a)
    • In the type signature for:
           monadFunctor :: (Functor m, Monad m, Arbitrary a, Arbitrary b,
                            CoArbitrary a, Arbitrary (m a), Show (m a), EqProp (m b)) =>
                           m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:312:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Applicative m
    • In the type signature for:
           monadApplicative :: (Applicative m, Monad m, EqProp (m a),
                                EqProp (m b), Show a, Arbitrary a, Show (m a), Arbitrary (m a),
                                Show (m (a -> b)), Arbitrary (m (a -> b))) =>
                               m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:334:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Functor g,
                              Show (f (NumT -> T)),
                              Arbitrary (f (NumT -> T)))
    • In the type signature for:
           monadMorphism :: (Monad f, Monad g, Functor g, Show (f NumT),
                             Show (f (NumT -> T)), Show (f (f (NumT -> T))), Arbitrary (f NumT),
                             Arbitrary (f T), Arbitrary (f (NumT -> T)),
                             Arbitrary (f (f (NumT -> T))), EqProp (g NumT), EqProp (g T),
                             EqProp (g (NumT -> T))) =>
                            (forall a. f a -> g a) -> TestBatch

src/Test/QuickCheck/Classes.hs:376:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Functor g
    • In the type signature for:
           semanticMonad :: (Model1 f g, Monad f, Monad g, EqProp (g T),
                             EqProp (g NumT), EqProp (g (NumT -> T)), Arbitrary (f T),
                             Arbitrary (f NumT), Arbitrary (f (f (NumT -> T))),
                             Arbitrary (f (NumT -> T)), Show (f (f (NumT -> T))),
                             Show (f (NumT -> T)), Show (f NumT), Functor g) =>
                            f () -> TestBatch

src/Test/QuickCheck/Classes.hs:392:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           monadPlus :: (MonadPlus m, Show (m a), Arbitrary a, CoArbitrary a,
                         Arbitrary (m a), Arbitrary (m b), EqProp (m a), EqProp (m b)) =>
                        m (a, b) -> TestBatch

src/Test/QuickCheck/Classes.hs:434:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           alternative :: (Alternative f, Arbitrary a, Arbitrary (f a),
                           EqProp (f a), Show (f a)) =>
                          f a -> TestBatch

src/Test/QuickCheck/Classes.hs:445:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Show b,
                              Show c,
                              Show d,
                              Show e,
                              Arbitrary b,
                              EqProp b,
                              EqProp c,
                              EqProp d,
                              EqProp e)
    • In the type signature for:
           arrow :: (Arrow a, Show (a d e), Show (a c d), Show (a b c),
                     Show b, Show c, Show d, Show e, Arbitrary (a d e),
                     Arbitrary (a c d), Arbitrary (a b c), Arbitrary b, Arbitrary c,
                     Arbitrary d, Arbitrary e, CoArbitrary b, CoArbitrary c,
                     CoArbitrary d, EqProp (a b e), EqProp (a b d), EqProp (a (b, d) c),
                     EqProp (a (b, d) (c, d)), EqProp (a (b, e) (d, e)),
                     EqProp (a (b, d) (c, e)), EqProp b, EqProp c, EqProp d,
                     EqProp e) =>
                    a b (c, d, e) -> TestBatch

src/Test/QuickCheck/Classes.hs:493:1: warning: [-Wredundant-constraints]
    • Redundant constraints: (Arbitrary b, Arbitrary d)
    • In the type signature for:
           arrowChoice :: (ArrowChoice a, Show (a b c), Arbitrary (a b c),
                           Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, CoArbitrary b,
                           CoArbitrary d, EqProp (a (Either b d) (Either c e)),
                           EqProp (a (Either b d) (Either c d))) =>
                          a b (c, d, e) -> TestBatch

src/Test/QuickCheck/Classes.hs:517:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Arbitrary a
    • In the type signature for:
           traversable :: (Traversable f, Monoid m, Show (f a),
                           Arbitrary (f a), Arbitrary b, Arbitrary a, Arbitrary m,
                           CoArbitrary a, EqProp (f b), EqProp m) =>
                          f (a, b, m) -> TestBatch
Haddock coverage:
   0% (  0 /  3) in 'Control.Monad.Extensions'
  Missing documentation for:
    Module header
    satisfiesM (src/Control/Monad/Extensions.hs:5)
    if' (src/Control/Monad/Extensions.hs:8)
   0% (  0 /  3) in 'Test.QuickCheck.Instances.Array'
  Missing documentation for:
    Module header
     (src/Test/QuickCheck/Instances/Array.hs:8)
     (src/Test/QuickCheck/Instances/Array.hs:12)
  80% (  4 /  5) in 'Test.QuickCheck.Instances.Tuple'
  Missing documentation for:
    Module header
   0% (  0 /  3) in 'Test.QuickCheck.Instances.Ord'
  Missing documentation for:
    Module header
    greaterThan (src/Test/QuickCheck/Instances/Ord.hs:6)
    lessThan (src/Test/QuickCheck/Instances/Ord.hs:9)
   0% (  0 /  7) in 'Test.QuickCheck.Instances.Num'
  Missing documentation for:
    Module header
    nonNegative (src/Test/QuickCheck/Instances/Num.hs:11)
    nonPositive (src/Test/QuickCheck/Instances/Num.hs:17)
    negative (src/Test/QuickCheck/Instances/Num.hs:20)
    positive (src/Test/QuickCheck/Instances/Num.hs:14)
    nonZero (src/Test/QuickCheck/Instances/Num.hs:23)
    nonZero_ (src/Test/QuickCheck/Instances/Num.hs:27)
   0% (  0 /  2) in 'Test.QuickCheck.Instances.Maybe'
  Missing documentation for:
    Module header
    maybeGen (src/Test/QuickCheck/Instances/Maybe.hs:6)
  92% ( 12 / 13) in 'Test.QuickCheck.Instances.List'
  Missing documentation for:
    Module header
   0% (  0 /  3) in 'Test.QuickCheck.Bottoms'
  Missing documentation for:
    Module header
    bottom (src/Test/QuickCheck/Bottoms.hs:9)
    infiniteComp (src/Test/QuickCheck/Bottoms.hs:12)
  17% (  1 /  6) in 'Test.QuickCheck.Utils'
  Missing documentation for:
    isAssociativeBy (src/Test/QuickCheck/Utils.hs:29)
    isAssociative (src/Test/QuickCheck/Utils.hs:37)
    isCommutableBy (src/Test/QuickCheck/Utils.hs:40)
    isCommutable (src/Test/QuickCheck/Utils.hs:47)
    isTotalOrder (src/Test/QuickCheck/Utils.hs:50)
  80% ( 43 / 54) in 'Test.QuickCheck.Checkers'
  Missing documentation for:
    genR (src/Test/QuickCheck/Checkers.hs:150)
    BinRel (src/Test/QuickCheck/Checkers.hs:237)
    Model (src/Test/QuickCheck/Checkers.hs:362)
    meq (src/Test/QuickCheck/Checkers.hs:369)
    meq1 (src/Test/QuickCheck/Checkers.hs:370)
    meq2 (src/Test/QuickCheck/Checkers.hs:372)
    meq3 (src/Test/QuickCheck/Checkers.hs:374)
    meq4 (src/Test/QuickCheck/Checkers.hs:378)
    meq5 (src/Test/QuickCheck/Checkers.hs:383)
    eqModels (src/Test/QuickCheck/Checkers.hs:230)
    arbitrarySatisfying (src/Test/QuickCheck/Checkers.hs:433)
   0% (  0 /  3) in 'Test.QuickCheck.Instances.Eq'
  Missing documentation for:
    Module header
    notEqualTo (src/Test/QuickCheck/Instances/Eq.hs:7)
    notOneof (src/Test/QuickCheck/Instances/Eq.hs:10)
  92% ( 11 / 12) in 'Test.QuickCheck.Instances.Char'
  Missing documentation for:
    Module header
  81% ( 21 / 26) in 'Test.QuickCheck.Classes'
  Missing documentation for:
    functorMonoid (src/Test/QuickCheck/Classes.hs:126)
    monadApplicative (src/Test/QuickCheck/Classes.hs:312)
    arrow (src/Test/QuickCheck/Classes.hs:445)
    arrowChoice (src/Test/QuickCheck/Classes.hs:493)
    traversable (src/Test/QuickCheck/Classes.hs:517)
  88% (  7 /  8) in 'Test.QuickCheck.Instances'
  Missing documentation for:
    Module header
 100% (  5 /  5) in 'Test.QuickCheck.Later'
Documentation created: dist/doc/html/checkers/index.html,
dist/doc/html/checkers/checkers.txt
Creating package registration file:
/tmp/pkgConf-checkers-0.412042755691190668363.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/checkers-0.4.5-F5llfS063dkC2YeYjoPQmb
Registering checkers-0.4.5...
cabal: Leaving directory '/tmp/cabal-tmp-2398/checkers-0.4.5'
Installed checkers-0.4.5