Build #1 for dpor-0.2.0.0
| 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 |
Code Coverage
No Code Coverage was submitted for this report.
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
Test log
No test log was submitted for this report.