Build #1 for leancheck-0.6.0
Package | leancheck-0.6.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2016-10-07 16:21:02.491354 UTC |
---|---|
Compiler | ghc-8.0.1.20160701 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.9.0.0, template-haskell-2.11.0.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading leancheck-0.6.0... cabal: Entering directory '/tmp/cabal-tmp-7255/leancheck-0.6.0' Configuring leancheck-0.6.0... Building leancheck-0.6.0... Preprocessing library leancheck-0.6.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.6.0... Running hscolour for leancheck-0.6.0... Preprocessing library leancheck-0.6.0... Preprocessing library leancheck-0.6.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:78) cons7 (src/Test/LeanCheck/Basic.hs:82) cons8 (src/Test/LeanCheck/Basic.hs:87) cons9 (src/Test/LeanCheck/Basic.hs:92) cons10 (src/Test/LeanCheck/Basic.hs:97) cons11 (src/Test/LeanCheck/Basic.hs:102) cons12 (src/Test/LeanCheck/Basic.hs:108) 100% ( 30 / 30) in 'Test.LeanCheck.Tiers' 100% ( 4 / 4) in 'Test.LeanCheck.Derive' 90% ( 66 / 73) 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) 24% ( 4 / 17) in 'Test.LeanCheck.Invariants' Missing documentation for: tNatPairOrd (src/Test/LeanCheck/Invariants.hs:83) tNatTripleOrd (src/Test/LeanCheck/Invariants.hs:87) tNatQuadrupleOrd (src/Test/LeanCheck/Invariants.hs:91) tNatQuintupleOrd (src/Test/LeanCheck/Invariants.hs:95) tNatSixtupleOrd (src/Test/LeanCheck/Invariants.hs:99) tNatListOrd (src/Test/LeanCheck/Invariants.hs:103) tListsOfNatOrd (src/Test/LeanCheck/Invariants.hs:114) tPairEqParams (src/Test/LeanCheck/Invariants.hs:118) tTripleEqParams (src/Test/LeanCheck/Invariants.hs:127) tProductsIsFilterByLength (src/Test/LeanCheck/Invariants.hs:136) orderedOn (src/Test/LeanCheck/Invariants.hs:48) strictlyOrdered (src/Test/LeanCheck/Invariants.hs:37) strictlyOrderedOn (src/Test/LeanCheck/Invariants.hs:59) 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.68594844211914544919.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/leancheck-0.6.0-8thySoWzbQu9g5WkkzOyhH Registering leancheck-0.6.0... cabal: Leaving directory '/tmp/cabal-tmp-7255/leancheck-0.6.0' Installed leancheck-0.6.0
Test log
No test log was submitted for this report.