Build #1 for dpor-0.2.0.0

[all reports]

Package dpor-0.2.0.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-06-06 19:59:13.994194 UTC
Compiler ghc-8.0.1.20160521
OS linux
Arch x86_64
Dependencies base-4.9.0.0, containers-0.5.7.1, deepseq-1.4.2.0, random-1.1, semigroups-0.18.1
Flags none

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-28567/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-12145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-28567/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-28567/semigroups-0.18.1'
Configuring semigroups-0.18.1...
Building semigroups-0.18.1...
Preprocessing library semigroups-0.18.1...
[1 of 1] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, dist/build/Data/Semigroup/Generic.o )
Running Haddock for semigroups-0.18.1...
Running hscolour for semigroups-0.18.1...
Preprocessing library semigroups-0.18.1...
Preprocessing library semigroups-0.18.1...
Haddock coverage:
  60% (  3 /  5) in 'Data.Semigroup.Generic'
  Missing documentation for:
    GSemigroup (src/Data/Semigroup/Generic.hs:39)
    GMonoid (src/Data/Semigroup/Generic.hs:69)
Warning: Data.Semigroup.Generic: could not find link destinations for:
    gmappend' gmempty'
Documentation created: dist/doc/html/semigroups/index.html,
dist/doc/html/semigroups/semigroups.txt
Creating package registration file:
/tmp/pkgConf-semigroups-0.189439477391984210012.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/semigroups-0.18.1-2Ug5XAbvLWz4CGDwXtkoXz
Registering semigroups-0.18.1...
cabal: Leaving directory '/tmp/cabal-tmp-28567/semigroups-0.18.1'
Installed semigroups-0.18.1
cabal: Entering directory '/tmp/cabal-tmp-28567/dpor-0.2.0.0'
Configuring dpor-0.2.0.0...
Building dpor-0.2.0.0...
Preprocessing library dpor-0.2.0.0...
[1 of 4] Compiling Test.DPOR.Schedule ( Test/DPOR/Schedule.hs, dist/build/Test/DPOR/Schedule.o )
[2 of 4] Compiling Test.DPOR.Internal ( Test/DPOR/Internal.hs, dist/build/Test/DPOR/Internal.o )

Test/DPOR/Internal.hs:94:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord tid
    • In the type signature for:
           initialState :: Ord tid => tid -> DPOR tid action
[3 of 4] Compiling Test.DPOR.Random ( Test/DPOR/Random.hs, dist/build/Test/DPOR/Random.o )
[4 of 4] Compiling Test.DPOR        ( Test/DPOR.hs, dist/build/Test/DPOR.o )
Running Haddock for dpor-0.2.0.0...
Running hscolour for dpor-0.2.0.0...
Preprocessing library dpor-0.2.0.0...
Preprocessing library dpor-0.2.0.0...

Test/DPOR/Internal.hs:94:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Ord tid
    • In the type signature for:
           initialState :: Ord tid => tid -> DPOR tid action
Haddock coverage:
 100% ( 15 / 15) in 'Test.DPOR.Schedule'
  85% ( 23 / 27) in 'Test.DPOR.Internal'
  Missing documentation for:
     (Test/DPOR/Internal.hs:54)
     (Test/DPOR/Internal.hs:80)
     (Test/DPOR/Internal.hs:373)
    initialDPORThread (Test/DPOR/Internal.hs:558)
 100% (  6 /  6) in 'Test.DPOR.Random'
  93% ( 40 / 43) in 'Test.DPOR'
  Missing documentation for:
    PreemptionBound (Test/DPOR.hs:295)
    FairBound (Test/DPOR.hs:361)
    LengthBound (Test/DPOR.hs:452)
Documentation created: dist/doc/html/dpor/index.html,
dist/doc/html/dpor/dpor.txt
Creating package registration file:
/tmp/pkgConf-dpor-0.2.012311923791622597488.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/dpor-0.2.0.0-BNcwU6qrCZZDZ0NKtRIMyS
Registering dpor-0.2.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-28567/dpor-0.2.0.0'
Installed dpor-0.2.0.0