Build #1 for sbvPlugin-0.7
| Package | sbvPlugin-0.7 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-06-07 00:58:34.450076 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160521 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, ghc-8.0.1.20160521, ghc-prim-0.5.0.0, mtl-2.2.1, sbv-5.12, template-haskell-2.11.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-9892/HUnit-1.3.1.1'
Configuring HUnit-1.3.1.1...
Building HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o )
Running Haddock for HUnit-1.3.1.1...
Running hscolour for HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
Haddock coverage:
100% ( 2 / 2) in 'Test.HUnit.Terminal'
56% ( 5 / 9) in 'Test.HUnit.Lang'
Missing documentation for:
Module header
Location (Test/HUnit/Lang.hs:40)
Result (Test/HUnit/Lang.hs:76)
HUnitFailure (Test/HUnit/Lang.hs:46)
97% ( 33 / 34) in 'Test.HUnit.Base'
Missing documentation for:
Location (Test/HUnit/Lang.hs:40)
100% ( 8 / 8) in 'Test.HUnit.Text'
100% ( 3 / 3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html,
dist/doc/html/HUnit/HUnit.txt
Creating package registration file:
/tmp/pkgConf-HUnit-1.3.12145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/HUnit-1.3.1.1-21JuQs5D85SLjuJsLVrBpA
Registering HUnit-1.3.1.1...
cabal: Leaving directory '/tmp/cabal-tmp-9892/HUnit-1.3.1.1'
Installed HUnit-1.3.1.1
cabal: Entering directory '/tmp/cabal-tmp-9892/base-compat-0.9.1'
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
[ 1 of 37] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, dist/build/Text/Read/Compat.o )
[ 2 of 37] Compiling System.IO.Unsafe.Compat ( src/System/IO/Unsafe/Compat.hs, dist/build/System/IO/Unsafe/Compat.o )
[ 3 of 37] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, dist/build/System/Exit/Compat.o )
[ 4 of 37] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, dist/build/System/Environment/Compat.o )
[ 5 of 37] Compiling Prelude.Compat ( src/Prelude/Compat.hs, dist/build/Prelude/Compat.o )
[ 6 of 37] Compiling Numeric.Compat ( src/Numeric/Compat.hs, dist/build/Numeric/Compat.o )
[ 7 of 37] Compiling Foreign.Marshal.Unsafe.Compat ( src/Foreign/Marshal/Unsafe/Compat.hs, dist/build/Foreign/Marshal/Unsafe/Compat.o )
[ 8 of 37] Compiling Foreign.Marshal.Safe.Compat ( src/Foreign/Marshal/Safe/Compat.hs, dist/build/Foreign/Marshal/Safe/Compat.o )
[ 9 of 37] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, dist/build/Foreign/Marshal/Utils/Compat.o )
[10 of 37] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, dist/build/Foreign/Marshal/Array/Compat.o )
[11 of 37] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, dist/build/Foreign/Marshal/Alloc/Compat.o )
[12 of 37] Compiling Foreign.ForeignPtr.Unsafe.Compat ( src/Foreign/ForeignPtr/Unsafe/Compat.hs, dist/build/Foreign/ForeignPtr/Unsafe/Compat.o )
[13 of 37] Compiling Foreign.ForeignPtr.Safe.Compat ( src/Foreign/ForeignPtr/Safe/Compat.hs, dist/build/Foreign/ForeignPtr/Safe/Compat.o )
[14 of 37] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, dist/build/Foreign/Marshal/Compat.o )
[15 of 37] Compiling Foreign.Compat ( src/Foreign/Compat.hs, dist/build/Foreign/Compat.o )
[16 of 37] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, dist/build/Debug/Trace/Compat.o )
[17 of 37] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, dist/build/Data/Word/Compat.o )
[18 of 37] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, dist/build/Data/Version/Compat.o )
[19 of 37] Compiling Data.String.Compat ( src/Data/String/Compat.hs, dist/build/Data/String/Compat.o )
[20 of 37] Compiling Data.STRef.Compat ( src/Data/STRef/Compat.hs, dist/build/Data/STRef/Compat.o )
[21 of 37] Compiling Data.Ratio.Compat ( src/Data/Ratio/Compat.hs, dist/build/Data/Ratio/Compat.o )
[22 of 37] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, dist/build/Data/Monoid/Compat.o )
[23 of 37] Compiling Data.List.Compat ( src/Data/List/Compat.hs, dist/build/Data/List/Compat.o )
[24 of 37] Compiling Data.IORef.Compat ( src/Data/IORef/Compat.hs, dist/build/Data/IORef/Compat.o )
[25 of 37] Compiling Data.Functor.Const.Compat ( src/Data/Functor/Const/Compat.hs, dist/build/Data/Functor/Const/Compat.o )
[26 of 37] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, dist/build/Data/Functor/Compat.o )
[27 of 37] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, dist/build/Data/Function/Compat.o )
[28 of 37] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, dist/build/Data/Foldable/Compat.o )
[29 of 37] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, dist/build/Data/Either/Compat.o )
[30 of 37] Compiling Data.Complex.Compat ( src/Data/Complex/Compat.hs, dist/build/Data/Complex/Compat.o )
[31 of 37] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, dist/build/Data/Bool/Compat.o )
[32 of 37] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o )
[33 of 37] Compiling Control.Monad.ST.Unsafe.Compat ( src/Control/Monad/ST/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Unsafe/Compat.o )
[34 of 37] Compiling Control.Monad.ST.Lazy.Unsafe.Compat ( src/Control/Monad/ST/Lazy/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Lazy/Unsafe/Compat.o )
[35 of 37] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, dist/build/Control/Monad/Compat.o )
[36 of 37] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, dist/build/Control/Concurrent/MVar/Compat.o )
[37 of 37] Compiling Control.Concurrent.Compat ( src/Control/Concurrent/Compat.hs, dist/build/Control/Concurrent/Compat.o )
Running Haddock for base-compat-0.9.1...
Running hscolour for base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Haddock coverage:
89% ( 16 / 18) in 'Text.Read.Compat'
Missing documentation for:
Module header
Lexeme
Warning: System.IO.Unsafe.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'System.IO.Unsafe.Compat'
Missing documentation for:
Module header
Warning: System.Exit.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'System.Exit.Compat'
Missing documentation for:
Module header
100% ( 10 / 10) in 'System.Environment.Compat'
Warning: Prelude.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Prelude.Compat'
Missing documentation for:
Module header
Warning: Numeric.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Numeric.Compat'
Missing documentation for:
Module header
67% ( 2 / 3) in 'Foreign.Marshal.Unsafe.Compat'
Missing documentation for:
Module header
86% ( 6 / 7) in 'Foreign.Marshal.Safe.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Utils.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Foreign.Marshal.Utils.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Array.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Foreign.Marshal.Array.Compat'
Missing documentation for:
Module header
Warning: Foreign.Marshal.Alloc.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Foreign.Marshal.Alloc.Compat'
Missing documentation for:
Module header
67% ( 2 / 3) in 'Foreign.ForeignPtr.Unsafe.Compat'
Missing documentation for:
Module header
90% ( 19 / 21) in 'Foreign.ForeignPtr.Safe.Compat'
Missing documentation for:
Module header
FinalizerEnvPtr
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Alloc
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Array
Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Utils
0% ( 0 / 1) in 'Foreign.Marshal.Compat'
Missing documentation for:
Module header
Warning: Foreign.Compat: Could not find documentation for exported module: Base
Warning: Foreign.Compat: Could not find documentation for exported module: Marshal
0% ( 0 / 1) in 'Foreign.Compat'
Missing documentation for:
Module header
Warning: Debug.Trace.Compat: Could not find documentation for exported module: Base
80% ( 4 / 5) in 'Debug.Trace.Compat'
Missing documentation for:
Module header
Warning: Data.Word.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.Word.Compat'
Missing documentation for:
Module header
Warning: Data.Version.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Version.Compat'
Missing documentation for:
Module header
Warning: Data.String.Compat: Could not find documentation for exported module: Base
83% ( 5 / 6) in 'Data.String.Compat'
Missing documentation for:
Module header
Warning: Data.STRef.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.STRef.Compat'
Missing documentation for:
Module header
Warning: Data.Ratio.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Ratio.Compat'
Missing documentation for:
Module header
Warning: Data.Monoid.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Monoid.Compat'
Missing documentation for:
Module header
Warning: Data.List.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.List.Compat'
Missing documentation for:
Module header
Warning: Data.IORef.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.IORef.Compat'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Functor.Const.Compat'
Missing documentation for:
Module header
Warning: Data.Functor.Compat: Could not find documentation for exported module: Base
75% ( 3 / 4) in 'Data.Functor.Compat'
Missing documentation for:
Module header
Warning: Data.Function.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Function.Compat'
Missing documentation for:
Module header
Warning: Data.Foldable.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Foldable.Compat'
Missing documentation for:
Module header
Warning: Data.Either.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Data.Either.Compat'
Missing documentation for:
Module header
Warning: Data.Complex.Compat: Could not find documentation for exported module: Base
0% ( 0 / 1) in 'Data.Complex.Compat'
Missing documentation for:
Module header
Warning: Data.Bool.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Data.Bool.Compat'
Missing documentation for:
Module header
Warning: Data.Bits.Compat: Could not find documentation for exported module: Base
80% ( 4 / 5) in 'Data.Bits.Compat'
Missing documentation for:
Module header
20% ( 1 / 5) in 'Control.Monad.ST.Unsafe.Compat'
Missing documentation for:
Module header
unsafeInterleaveST
unsafeIOToST
unsafeSTToIO
25% ( 1 / 4) in 'Control.Monad.ST.Lazy.Unsafe.Compat'
Missing documentation for:
Module header
unsafeInterleaveST
unsafeIOToST
Warning: Control.Monad.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Control.Monad.Compat'
Missing documentation for:
Module header
Warning: Control.Concurrent.MVar.Compat: Could not find documentation for exported module: Base
50% ( 1 / 2) in 'Control.Concurrent.MVar.Compat'
Missing documentation for:
Module header
Warning: Control.Concurrent.Compat: Could not find documentation for exported module: Base
67% ( 2 / 3) in 'Control.Concurrent.Compat'
Missing documentation for:
Module header
Warning: Text.Read.Compat: could not find link destinations for:
~
Warning: Data.Functor.Const.Compat: could not find link destinations for:
unsafeIndex unsafeRangeSize
Warning: Data.Functor.Compat: could not find link destinations for:
P
Warning: Control.Monad.Compat: could not find link destinations for:
P
Documentation created: dist/doc/html/base-compat/index.html,
dist/doc/html/base-compat/base-compat.txt
Creating package registration file:
/tmp/pkgConf-base-compat-0.93272545861572276965.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/base-compat-0.9.1-tmPpmtbHbvIDjFWbkjGrR
Registering base-compat-0.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-9892/base-compat-0.9.1'
Installed base-compat-0.9.1
cabal: Entering directory '/tmp/cabal-tmp-9892/data-binary-ieee754-0.4.4'
Configuring data-binary-ieee754-0.4.4...
Building data-binary-ieee754-0.4.4...
Preprocessing library data-binary-ieee754-0.4.4...
[1 of 1] Compiling Data.Binary.IEEE754 ( lib/Data/Binary/IEEE754.hs, dist/build/Data/Binary/IEEE754.o )
lib/Data/Binary/IEEE754.hs:12:1: warning: [-Wtabs]
Tab character found here, and in 70 further locations.
Please use spaces instead.
Running Haddock for data-binary-ieee754-0.4.4...
Running hscolour for data-binary-ieee754-0.4.4...
Preprocessing library data-binary-ieee754-0.4.4...
Preprocessing library data-binary-ieee754-0.4.4...
lib/Data/Binary/IEEE754.hs:12:1: warning: [-Wtabs]
Tab character found here, and in 70 further locations.
Please use spaces instead.
Haddock coverage:
22% ( 4 / 18) in 'Data.Binary.IEEE754'
Missing documentation for:
getFloat16be (lib/Data/Binary/IEEE754.hs:34)
getFloat16le (lib/Data/Binary/IEEE754.hs:37)
getFloat32be (lib/Data/Binary/IEEE754.hs:40)
getFloat32le (lib/Data/Binary/IEEE754.hs:43)
getFloat64be (lib/Data/Binary/IEEE754.hs:46)
getFloat64le (lib/Data/Binary/IEEE754.hs:49)
putFloat32be (lib/Data/Binary/IEEE754.hs:52)
putFloat32le (lib/Data/Binary/IEEE754.hs:55)
putFloat64be (lib/Data/Binary/IEEE754.hs:58)
putFloat64le (lib/Data/Binary/IEEE754.hs:61)
floatToWord (lib/Data/Binary/IEEE754.hs:64)
wordToFloat (lib/Data/Binary/IEEE754.hs:67)
doubleToWord (lib/Data/Binary/IEEE754.hs:70)
wordToDouble (lib/Data/Binary/IEEE754.hs:73)
Documentation created: dist/doc/html/data-binary-ieee754/index.html,
dist/doc/html/data-binary-ieee754/data-binary-ieee754.txt
Creating package registration file:
/tmp/pkgConf-data-binary-ieee754-0.41021784812586235379.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/data-binary-ieee754-0.4.4-F1HjhwdV1xx5grS0eMjeg2
Registering data-binary-ieee754-0.4.4...
cabal: Leaving directory '/tmp/cabal-tmp-9892/data-binary-ieee754-0.4.4'
Installed data-binary-ieee754-0.4.4
cabal: Entering directory '/tmp/cabal-tmp-9892/ieee754-0.7.8'
Configuring ieee754-0.7.8...
Building ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
[1 of 2] Compiling Numeric.IEEE ( Numeric/IEEE.hs, dist/build/Numeric/IEEE.o )
[2 of 2] Compiling Data.AEq ( Data/AEq.hs, dist/build/Data/AEq.o )
Running Haddock for ieee754-0.7.8...
Running hscolour for ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
Haddock coverage:
100% ( 8 / 8) in 'Numeric.IEEE'
100% ( 2 / 2) in 'Data.AEq'
Documentation created: dist/doc/html/ieee754/index.html,
dist/doc/html/ieee754/ieee754.txt
Creating package registration file:
/tmp/pkgConf-ieee754-0.71265122573124666328.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/ieee754-0.7.8-hSToga77ICuzAtDrK6Dj
Registering ieee754-0.7.8...
cabal: Leaving directory '/tmp/cabal-tmp-9892/ieee754-0.7.8'
Installed ieee754-0.7.8
cabal: Entering directory '/tmp/cabal-tmp-9892/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.21994118982064945486.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-9892/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-9892/old-locale-1.0.0.7'
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
[1 of 1] Compiling System.Locale ( System/Locale.hs, dist/build/System/Locale.o )
Running Haddock for old-locale-1.0.0.7...
Running hscolour for old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Haddock coverage:
60% ( 3 / 5) in 'System.Locale'
Missing documentation for:
TimeLocale (System/Locale.hs:36)
defaultTimeLocale (System/Locale.hs:49)
Documentation created: dist/doc/html/old-locale/index.html,
dist/doc/html/old-locale/old-locale.txt
Creating package registration file:
/tmp/pkgConf-old-locale-1.0.03994932451567022181.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/old-locale-1.0.0.7-6glXNhHF891B41ZfuI8hU8
Registering old-locale-1.0.0.7...
cabal: Leaving directory '/tmp/cabal-tmp-9892/old-locale-1.0.0.7'
Installed old-locale-1.0.0.7
cabal: Entering directory '/tmp/cabal-tmp-9892/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.116002068981139352160.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-9892/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-9892/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-11219933931263419017.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-9892/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-9892/stm-2.4.4.1'
Configuring stm-2.4.4.1...
Building stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
Running Haddock for stm-2.4.4.1...
Running hscolour for stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Warning: Control.Concurrent.STM.TArray: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Warning: Control.Monad.STM: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.4.4651203561731190952.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF
Registering stm-2.4.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-9892/stm-2.4.4.1'
Installed stm-2.4.4.1
cabal: Entering directory '/tmp/cabal-tmp-9892/syb-0.6'
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extM :: (Monad m, Typeable a, Typeable b) =>
(a -> m a) -> (b -> m b) -> a -> m a
src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a
src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall f. Data f => t f -> m (t f)) -> d -> m d
src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1R :: (Monad m, Data d, Typeable t) =>
m d -> (forall e. Data e => m (t e)) -> m d
src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
-> d
-> m d
src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2R :: (Monad m, Data d, Typeable t) =>
m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
• Redundant constraint: Data a
• In the type signature for:
general :: Data a => a
In an equation for ‘empty’:
empty
= general `extB` char `extB` int `extB` integer `extB` float
`extB` double
where
general :: Data a => a
general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
char = '\NUL'
int = 0 :: Int
....
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...
src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extM :: (Monad m, Typeable a, Typeable b) =>
(a -> m a) -> (b -> m b) -> a -> m a
src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a
src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall f. Data f => t f -> m (t f)) -> d -> m d
src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1R :: (Monad m, Data d, Typeable t) =>
m d -> (forall e. Data e => m (t e)) -> m d
src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
-> d
-> m d
src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2R :: (Monad m, Data d, Typeable t) =>
m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
• Redundant constraint: Data a
• In the type signature for:
general :: Data a => a
In an equation for ‘empty’:
empty
= general `extB` char `extB` int `extB` integer `extB` float
`extB` double
where
general :: Data a => a
general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
char = '\NUL'
int = 0 :: Int
....
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
Missing documentation for:
GenericQ' (src/Data/Generics/Aliases.hs:268)
GenericM' (src/Data/Generics/Aliases.hs:269)
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 17 / 17) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0384295879104852634.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/syb-0.6-C65vWCsht6A8uLstpQIXyj
Registering syb-0.6...
cabal: Leaving directory '/tmp/cabal-tmp-9892/syb-0.6'
Installed syb-0.6
cabal: Entering directory '/tmp/cabal-tmp-9892/crackNum-1.5'
Configuring crackNum-1.5...
Building crackNum-1.5...
Preprocessing library crackNum-1.5...
[1 of 3] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/Data/Numbers/CrackNum/Data.o )
[2 of 3] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/Data/Numbers/CrackNum/Utils.o )
[3 of 3] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/Data/Numbers/CrackNum.o )
Preprocessing executable 'crackNum' for crackNum-1.5...
[1 of 5] Compiling Paths_crackNum ( dist/build/autogen/Paths_crackNum.hs, dist/build/crackNum/crackNum-tmp/Paths_crackNum.o )
[2 of 5] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Data.o )
[3 of 5] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Utils.o )
[4 of 5] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum.o )
[5 of 5] Compiling Main ( Data/Numbers/CrackNum/Main.hs, dist/build/crackNum/crackNum-tmp/Main.o )
Linking dist/build/crackNum/crackNum ...
Running Haddock for crackNum-1.5...
Running hscolour for crackNum-1.5...
Preprocessing library crackNum-1.5...
Preprocessing executable 'crackNum' for crackNum-1.5...
Preprocessing library crackNum-1.5...
Haddock coverage:
100% ( 7 / 7) in 'Data.Numbers.CrackNum.Data'
100% ( 34 / 34) in 'Data.Numbers.CrackNum.Utils'
100% ( 14 / 14) in 'Data.Numbers.CrackNum'
Documentation created: dist/doc/html/crackNum/index.html,
dist/doc/html/crackNum/crackNum.txt
Preprocessing executable 'crackNum' for crackNum-1.5...
Creating package registration file:
/tmp/pkgConf-crackNum-1991505661654829090.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/crackNum-1.5-Fn4w3rfGqvZEQeB52qUWLx
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering crackNum-1.5...
cabal: Leaving directory '/tmp/cabal-tmp-9892/crackNum-1.5'
Installed crackNum-1.5
cabal: Entering directory '/tmp/cabal-tmp-9892/old-time-1.1.0.3'
Configuring old-time-1.1.0.3...
configure: WARNING: unrecognized options: --with-compiler
checking for gcc... /usr/bin/gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether /usr/bin/gcc accepts -g... yes
checking for /usr/bin/gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... /usr/bin/gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/timeb.h usability... yes
checking sys/timeb.h presence... yes
checking for sys/timeb.h... yes
checking time.h usability... yes
checking time.h presence... yes
checking for time.h... yes
checking for ftime... yes
checking for gmtime_r... yes
checking for localtime_r... yes
checking for gettimeofday... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for struct tm.tm_zone... yes
checking whether time.h and sys/time.h may both be included... yes
checking for sys/time.h... (cached) yes
checking whether altzone is declared... no
configure: creating ./config.status
config.status: creating include/HsTimeConfig.h
configure: WARNING: unrecognized options: --with-compiler
Building old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
[1 of 1] Compiling System.Time ( dist/build/System/Time.hs, dist/build/System/Time.o )
Running Haddock for old-time-1.1.0.3...
Running hscolour for old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Haddock coverage:
95% ( 20 / 21) in 'System.Time'
Missing documentation for:
getClockTime (System/Time.hsc:232)
Warning: System.Time: could not find link destinations for:
unsafeIndex unsafeRangeSize
Documentation created: dist/doc/html/old-time/index.html,
dist/doc/html/old-time/old-time.txt
Creating package registration file:
/tmp/pkgConf-old-time-1.1.0869921280167368542.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/old-time-1.1.0.3-IcvdkJUsE9M8t3io8peAEp
Registering old-time-1.1.0.3...
cabal: Leaving directory '/tmp/cabal-tmp-9892/old-time-1.1.0.3'
Installed old-time-1.1.0.3
cabal: Entering directory '/tmp/cabal-tmp-9892/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-01767125139318333694.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD
Registering tf-random-0.5...
cabal: Leaving directory '/tmp/cabal-tmp-9892/tf-random-0.5'
Installed tf-random-0.5
cabal: Entering directory '/tmp/cabal-tmp-9892/async-2.1.0'
Configuring async-2.1.0...
Building async-2.1.0...
Preprocessing library async-2.1.0...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
Running Haddock for async-2.1.0...
Running hscolour for async-2.1.0...
Preprocessing library async-2.1.0...
Preprocessing library async-2.1.0...
Haddock coverage:
100% ( 54 / 54) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file:
/tmp/pkgConf-async-2.117523279341107484169.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf
Registering async-2.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-9892/async-2.1.0'
Installed async-2.1.0
cabal: Entering directory '/tmp/cabal-tmp-9892/QuickCheck-2.8.2'
Configuring QuickCheck-2.8.2...
Building QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
[ 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.8.2...
Running hscolour for QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
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:47)
tryEvaluate (Test/QuickCheck/Exception.hs:79)
tryEvaluateIO (Test/QuickCheck/Exception.hs:82)
evaluate (Test/QuickCheck/Exception.hs:86)
isDiscard (Test/QuickCheck/Exception.hs:114)
finally (Test/QuickCheck/Exception.hs:129)
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)
38% ( 3 / 8) in 'Test.QuickCheck.Function'
Missing documentation for:
Fun (Test/QuickCheck/Function.hs:275)
apply (Test/QuickCheck/Function.hs:289)
Function (Test/QuickCheck/Function.hs:106)
functionMap (Test/QuickCheck/Function.hs:142)
functionShow (Test/QuickCheck/Function.hs:145)
62% ( 44 / 71) in 'Test.QuickCheck.Property'
Missing documentation for:
(Test/QuickCheck/Property.hs:95)
(Test/QuickCheck/Property.hs:99)
(Test/QuickCheck/Property.hs:103)
(Test/QuickCheck/Property.hs:107)
(Test/QuickCheck/Property.hs:111)
(Test/QuickCheck/Property.hs:114)
(Test/QuickCheck/Property.hs:131)
protect (Test/QuickCheck/Property.hs:135)
Prop (Test/QuickCheck/Property.hs:141)
Rose (Test/QuickCheck/Property.hs:145)
ioRose (Test/QuickCheck/Property.hs:148)
joinRose (Test/QuickCheck/Property.hs:151)
(Test/QuickCheck/Property.hs:160)
(Test/QuickCheck/Property.hs:165)
(Test/QuickCheck/Property.hs:170)
CallbackKind (Test/QuickCheck/Property.hs:204)
exception (Test/QuickCheck/Property.hs:220)
formatException (Test/QuickCheck/Property.hs:226)
protectResult (Test/QuickCheck/Property.hs:231)
succeeded (Test/QuickCheck/Property.hs:234)
failed (Test/QuickCheck/Property.hs:234)
rejected (Test/QuickCheck/Property.hs:234)
liftBool (Test/QuickCheck/Property.hs:255)
mapResult (Test/QuickCheck/Property.hs:259)
mapTotalResult (Test/QuickCheck/Property.hs:262)
mapRoseResult (Test/QuickCheck/Property.hs:266)
mapProp (Test/QuickCheck/Property.hs:269)
50% ( 14 / 28) in 'Test.QuickCheck.Test'
Missing documentation for:
test (Test/QuickCheck/Test.hs:188)
doneTesting (Test/QuickCheck/Test.hs:194)
giveUp (Test/QuickCheck/Test.hs:224)
runATest (Test/QuickCheck/Test.hs:240)
summary (Test/QuickCheck/Test.hs:306)
success (Test/QuickCheck/Test.hs:317)
labelPercentage (Test/QuickCheck/Test.hs:347)
insufficientCoverage (Test/QuickCheck/Test.hs:355)
foundFailure (Test/QuickCheck/Test.hs:362)
localMin (Test/QuickCheck/Test.hs:366)
localMin' (Test/QuickCheck/Test.hs:396)
localMinFound (Test/QuickCheck/Test.hs:408)
callbackPostTest (Test/QuickCheck/Test.hs:433)
callbackPostFinalFailure (Test/QuickCheck/Test.hs:438)
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% (127 /128) 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: 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.8327305250435482362.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/QuickCheck-2.8.2-KPm3V9n9OMa9urRrdeE4gm
Registering QuickCheck-2.8.2...
cabal: Leaving directory '/tmp/cabal-tmp-9892/QuickCheck-2.8.2'
Installed QuickCheck-2.8.2
Downloading sbv-5.12...
cabal: Entering directory '/tmp/cabal-tmp-9892/sbv-5.12'
Configuring sbv-5.12...
Building sbv-5.12...
Preprocessing library sbv-5.12...
[ 1 of 83] Compiling GHC.SrcLoc.Compat ( GHC/SrcLoc/Compat.hs, dist/build/GHC/SrcLoc/Compat.o )
[ 2 of 83] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 3 of 83] Compiling GHC.Stack.Compat ( GHC/Stack/Compat.hs, dist/build/GHC/Stack/Compat.o )
[ 4 of 83] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 5 of 83] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist/build/Data/SBV/SMT/SMTLibNames.o )
[ 6 of 83] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.o )
[ 7 of 83] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 8 of 83] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 9 of 83] Compiling Data.SBV.BitVectors.Kind ( Data/SBV/BitVectors/Kind.hs, dist/build/Data/SBV/BitVectors/Kind.o )
[10 of 83] Compiling Data.SBV.BitVectors.Concrete ( Data/SBV/BitVectors/Concrete.hs, dist/build/Data/SBV/BitVectors/Concrete.o )
[11 of 83] Compiling Data.SBV.BitVectors.Symbolic ( Data/SBV/BitVectors/Symbolic.hs, dist/build/Data/SBV/BitVectors/Symbolic.o )
[12 of 83] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[13 of 83] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[14 of 83] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[15 of 83] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[16 of 83] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[17 of 83] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[18 of 83] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[19 of 83] Compiling Data.SBV.BitVectors.Operations ( Data/SBV/BitVectors/Operations.hs, dist/build/Data/SBV/BitVectors/Operations.o )
[20 of 83] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[21 of 83] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[22 of 83] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[23 of 83] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[24 of 83] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[25 of 83] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[26 of 83] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o )
[27 of 83] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o )
[28 of 83] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[29 of 83] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[30 of 83] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o )
[31 of 83] Compiling Data.SBV.BitVectors.Floating ( Data/SBV/BitVectors/Floating.hs, dist/build/Data/SBV/BitVectors/Floating.o )
[32 of 83] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[33 of 83] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[34 of 83] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[35 of 83] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[36 of 83] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[37 of 83] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o )
[38 of 83] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[39 of 83] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[40 of 83] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o )
[41 of 83] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[42 of 83] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[43 of 83] Compiling Data.SBV.Bridge.ABC ( Data/SBV/Bridge/ABC.hs, dist/build/Data/SBV/Bridge/ABC.o )
[44 of 83] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.o )
[45 of 83] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[46 of 83] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[47 of 83] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[48 of 83] Compiling Data.SBV.Examples.BitPrecise.MultMask ( Data/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Data/SBV/Examples/BitPrecise/MultMask.o )
[49 of 83] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[50 of 83] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[51 of 83] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[52 of 83] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[53 of 83] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[54 of 83] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[55 of 83] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[56 of 83] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[57 of 83] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[58 of 83] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[59 of 83] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[60 of 83] Compiling Data.SBV.Examples.Misc.Enumerate ( Data/SBV/Examples/Misc/Enumerate.hs, dist/build/Data/SBV/Examples/Misc/Enumerate.o )
[61 of 83] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o )
[62 of 83] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o )
[63 of 83] Compiling Data.SBV.Examples.Misc.Auxiliary ( Data/SBV/Examples/Misc/Auxiliary.hs, dist/build/Data/SBV/Examples/Misc/Auxiliary.o )
[64 of 83] Compiling Data.SBV.Examples.Misc.NoDiv0 ( Data/SBV/Examples/Misc/NoDiv0.hs, dist/build/Data/SBV/Examples/Misc/NoDiv0.o )
[65 of 83] Compiling Data.SBV.Examples.Misc.Word4 ( Data/SBV/Examples/Misc/Word4.hs, dist/build/Data/SBV/Examples/Misc/Word4.o )
[66 of 83] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[67 of 83] Compiling Data.SBV.Examples.Puzzles.Birthday ( Data/SBV/Examples/Puzzles/Birthday.hs, dist/build/Data/SBV/Examples/Puzzles/Birthday.o )
[68 of 83] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[69 of 83] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[70 of 83] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[71 of 83] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[72 of 83] Compiling Data.SBV.Examples.Puzzles.Fish ( Data/SBV/Examples/Puzzles/Fish.hs, dist/build/Data/SBV/Examples/Puzzles/Fish.o )
[73 of 83] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[74 of 83] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[75 of 83] Compiling Data.SBV.Examples.Puzzles.SendMoreMoney ( Data/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Data/SBV/Examples/Puzzles/SendMoreMoney.o )
[76 of 83] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[77 of 83] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[78 of 83] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[79 of 83] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[80 of 83] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[81 of 83] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[82 of 83] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
[83 of 83] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o )
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
[ 1 of 64] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o )
[ 2 of 64] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o )
[ 3 of 64] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o )
[ 4 of 64] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o )
[ 5 of 64] Compiling Examples.CRC.CCITT ( SBVUnitTest/Examples/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT.o )
[ 6 of 64] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o )
[ 7 of 64] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o )
[ 8 of 64] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o )
[ 9 of 64] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o )
[10 of 64] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o )
[11 of 64] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o )
[12 of 64] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o )
[13 of 64] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o )
[14 of 64] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o )
[15 of 64] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o )
[16 of 64] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o )
[17 of 64] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o )
[18 of 64] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o )
[19 of 64] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o )
[20 of 64] Compiling TestSuite.Basics.IteTest ( SBVUnitTest/TestSuite/Basics/IteTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/IteTest.o )
[21 of 64] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o )
[22 of 64] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o )
[23 of 64] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o )
[24 of 64] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o )
[25 of 64] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o )
[26 of 64] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o )
[27 of 64] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o )
[28 of 64] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o )
[29 of 64] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o )
[30 of 64] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o )
[31 of 64] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o )
[32 of 64] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o )
[33 of 64] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o )
[34 of 64] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o )
[35 of 64] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o )
[36 of 64] Compiling TestSuite.CodeGeneration.Floats ( SBVUnitTest/TestSuite/CodeGeneration/Floats.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Floats.o )
[37 of 64] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o )
[38 of 64] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o )
[39 of 64] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o )
[40 of 64] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o )
[41 of 64] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o )
[42 of 64] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o )
[43 of 64] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o )
[44 of 64] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o )
[45 of 64] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o )
[46 of 64] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o )
[47 of 64] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o )
[48 of 64] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o )
[49 of 64] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o )
[50 of 64] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o )
[51 of 64] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o )
[52 of 64] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o )
[53 of 64] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o )
[54 of 64] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o )
[55 of 64] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o )
[56 of 64] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o )
[57 of 64] Compiling TestSuite.Uninterpreted.Sort ( SBVUnitTest/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Sort.o )
[58 of 64] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o )
[59 of 64] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o )
[60 of 64] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o )
[61 of 64] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o )
[62 of 64] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o )
[63 of 64] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o )
[64 of 64] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o )
Linking dist/build/SBVUnitTests/SBVUnitTests ...
Running Haddock for sbv-5.12...
Running hscolour for sbv-5.12...
Preprocessing library sbv-5.12...
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
Preprocessing library sbv-5.12...
Haddock coverage:
Warning: GHC.SrcLoc.Compat: Could not find documentation for exported module: X
100% ( 1 / 1) in 'GHC.SrcLoc.Compat'
100% ( 2 / 2) in 'Data.SBV.Utils.TDiff'
100% ( 2 / 2) in 'GHC.Stack.Compat'
100% ( 10 / 10) in 'Data.SBV.Utils.Lib'
100% ( 2 / 2) in 'Data.SBV.SMT.SMTLibNames'
100% ( 10 / 10) in 'Data.SBV.Utils.Numeric'
100% ( 6 / 6) in 'Data.SBV.Utils.Boolean'
100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals'
100% ( 4 / 4) in 'Data.SBV.BitVectors.Kind'
100% ( 20 / 20) in 'Data.SBV.BitVectors.Concrete'
100% ( 69 / 69) in 'Data.SBV.BitVectors.Symbolic'
100% (109 /109) in 'Data.SBV.BitVectors.Data'
100% ( 16 / 16) in 'Data.SBV.BitVectors.PrettyNum'
100% ( 6 / 6) in 'Data.SBV.Tools.GenTest'
100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2'
100% ( 42 / 42) in 'Data.SBV.Compilers.CodeGen'
100% ( 5 / 5) in 'Data.SBV.Compilers.C'
100% ( 64 / 64) in 'Data.SBV.BitVectors.Operations'
100% ( 7 / 7) in 'Data.SBV.Provers.SExpr'
100% ( 7 / 7) in 'Data.SBV.SMT.SMTLib'
100% ( 59 / 59) in 'Data.SBV.SMT.SMT'
100% ( 2 / 2) in 'Data.SBV.Provers.Boolector'
100% ( 2 / 2) in 'Data.SBV.Provers.CVC4'
100% ( 2 / 2) in 'Data.SBV.Provers.Yices'
100% ( 2 / 2) in 'Data.SBV.Provers.MathSAT'
100% ( 2 / 2) in 'Data.SBV.Provers.ABC'
100% ( 2 / 2) in 'Data.SBV.Provers.Z3'
100% ( 42 / 42) in 'Data.SBV.Provers.Prover'
100% ( 77 / 77) in 'Data.SBV.BitVectors.Model'
100% ( 9 / 9) in 'Data.SBV.BitVectors.Floating'
100% ( 4 / 4) in 'Data.SBV.BitVectors.Splittable'
100% ( 5 / 5) in 'Data.SBV.BitVectors.STree'
100% ( 7 / 7) in 'Data.SBV.Tools.Polynomial'
100% ( 59 / 59) in 'Data.SBV.Internals'
100% ( 8 / 8) in 'Data.SBV.Tools.Optimize'
100% (306 /306) in 'Data.SBV'
100% ( 18 / 18) in 'Data.SBV.Bridge.Boolector'
100% ( 18 / 18) in 'Data.SBV.Bridge.CVC4'
100% ( 18 / 18) in 'Data.SBV.Bridge.MathSAT'
100% ( 18 / 18) in 'Data.SBV.Bridge.Yices'
100% ( 18 / 18) in 'Data.SBV.Bridge.Z3'
100% ( 16 / 16) in 'Data.SBV.Bridge.ABC'
100% (176 /176) in 'Data.SBV.Dynamic'
100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
100% ( 46 / 46) in 'Data.SBV.Examples.BitPrecise.Legato'
100% ( 13 / 13) in 'Data.SBV.Examples.BitPrecise.MergeSort'
100% ( 2 / 2) in 'Data.SBV.Examples.BitPrecise.MultMask'
100% ( 17 / 17) in 'Data.SBV.Examples.BitPrecise.PrefixSum'
100% ( 3 / 3) in 'Data.SBV.Examples.CodeGeneration.AddSub'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.CRC_USB5'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.Fibonacci'
100% ( 9 / 9) in 'Data.SBV.Examples.CodeGeneration.GCD'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.PopulationCount'
100% ( 4 / 4) in 'Data.SBV.Examples.CodeGeneration.Uninterpreted'
100% ( 70 / 70) in 'Data.SBV.Examples.Crypto.AES'
100% ( 18 / 18) in 'Data.SBV.Examples.Crypto.RC4'
100% ( 8 / 8) in 'Data.SBV.Examples.Existentials.CRCPolynomial'
100% ( 9 / 9) in 'Data.SBV.Examples.Existentials.Diophantine'
100% ( 7 / 7) in 'Data.SBV.Examples.Misc.Enumerate'
100% ( 10 / 10) in 'Data.SBV.Examples.Misc.Floating'
100% ( 3 / 3) in 'Data.SBV.Examples.Misc.ModelExtract'
100% ( 4 / 4) in 'Data.SBV.Examples.Misc.Auxiliary'
100% ( 4 / 4) in 'Data.SBV.Examples.Misc.NoDiv0'
100% ( 21 / 21) in 'Data.SBV.Examples.Misc.Word4'
100% ( 8 / 8) in 'Data.SBV.Examples.Polynomials.Polynomials'
100% ( 17 / 17) in 'Data.SBV.Examples.Puzzles.Birthday'
100% ( 11 / 11) in 'Data.SBV.Examples.Puzzles.Coins'
100% ( 5 / 5) in 'Data.SBV.Examples.Puzzles.Counts'
100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.DogCatMouse'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.Euler185'
100% ( 7 / 7) in 'Data.SBV.Examples.Puzzles.Fish'
100% ( 9 / 9) in 'Data.SBV.Examples.Puzzles.MagicSquare'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.NQueens'
100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.SendMoreMoney'
100% ( 20 / 20) in 'Data.SBV.Examples.Puzzles.Sudoku'
100% ( 37 / 37) in 'Data.SBV.Examples.Puzzles.U2Bridge'
100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF'
100% ( 14 / 14) in 'Data.SBV.Examples.Uninterpreted.Deduce'
100% ( 3 / 3) in 'Data.SBV.Examples.Uninterpreted.Function'
100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon'
100% ( 5 / 5) in 'Data.SBV.Examples.Uninterpreted.Sort'
100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.UISortAllSat'
Warning: Data.SBV.Internals: could not find link destinations for:
NamedSymVar SW ArrayInfo SBVPgm Polynomial State Cached FPOp
Warning: Data.SBV: could not find link destinations for:
STreeInternal GMergeable Outputtable SMTEngine SolverCapabilities
Warning: Data.SBV.Dynamic: could not find link destinations for:
SMTEngine SolverCapabilities
Warning: Data.SBV.Examples.BitPrecise.Legato: could not find link destinations for:
unsafeIndex unsafeRangeSize
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
Creating package registration file: /tmp/pkgConf-sbv-52016747294272327630.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/sbv-5.12-Alqt1yO5EzfHCGIVBcRt25
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering sbv-5.12...
cabal: Leaving directory '/tmp/cabal-tmp-9892/sbv-5.12'
Installed sbv-5.12
Downloading sbvPlugin-0.7...
cabal: Entering directory '/tmp/cabal-tmp-9892/sbvPlugin-0.7'
Configuring sbvPlugin-0.7...
Building sbvPlugin-0.7...
Preprocessing library sbvPlugin-0.7...
[1 of 9] Compiling Data.SBV.Plugin.Data ( Data/SBV/Plugin/Data.hs, dist/build/Data/SBV/Plugin/Data.o )
[2 of 9] Compiling Data.SBV.Plugin.Common ( Data/SBV/Plugin/Common.hs, dist/build/Data/SBV/Plugin/Common.o )
[3 of 9] Compiling Data.SBV.Plugin.Analyze ( Data/SBV/Plugin/Analyze.hs, dist/build/Data/SBV/Plugin/Analyze.o )
[4 of 9] Compiling Data.SBV.Plugin.Env ( Data/SBV/Plugin/Env.hs, dist/build/Data/SBV/Plugin/Env.o )
[5 of 9] Compiling Data.SBV.Plugin.Plugin ( Data/SBV/Plugin/Plugin.hs, dist/build/Data/SBV/Plugin/Plugin.o )
[6 of 9] Compiling Data.SBV.Plugin ( Data/SBV/Plugin.hs, dist/build/Data/SBV/Plugin.o )
[7 of 9] Compiling Data.SBV.Plugin.Examples.MergeSort ( Data/SBV/Plugin/Examples/MergeSort.hs, dist/build/Data/SBV/Plugin/Examples/MergeSort.o )
[8 of 9] Compiling Data.SBV.Plugin.Examples.MicroController ( Data/SBV/Plugin/Examples/MicroController.hs, dist/build/Data/SBV/Plugin/Examples/MicroController.o )
[9 of 9] Compiling Data.SBV.Plugin.Examples.BitTricks ( Data/SBV/Plugin/Examples/BitTricks.hs, dist/build/Data/SBV/Plugin/Examples/BitTricks.o )
Running Haddock for sbvPlugin-0.7...
Running hscolour for sbvPlugin-0.7...
Preprocessing library sbvPlugin-0.7...
Preprocessing library sbvPlugin-0.7...
Haddock coverage:
100% ( 5 / 5) in 'Data.SBV.Plugin.Data'
100% ( 19 / 19) in 'Data.SBV.Plugin.Common'
100% ( 2 / 2) in 'Data.SBV.Plugin.Analyze'
100% ( 6 / 6) in 'Data.SBV.Plugin.Env'
100% ( 2 / 2) in 'Data.SBV.Plugin.Plugin'
100% ( 9 / 9) in 'Data.SBV.Plugin'
100% ( 13 / 13) in 'Data.SBV.Plugin.Examples.MergeSort'
100% ( 15 / 15) in 'Data.SBV.Plugin.Examples.MicroController'
100% ( 11 / 11) in 'Data.SBV.Plugin.Examples.BitTricks'
Documentation created: dist/doc/html/sbvPlugin/index.html,
dist/doc/html/sbvPlugin/sbvPlugin.txt
Creating package registration file:
/tmp/pkgConf-sbvPlugin-09242797771481969091.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/sbvPlugin-0.7-9txsyKatp8VEAc88ymHSw2
Registering sbvPlugin-0.7...
cabal: Leaving directory '/tmp/cabal-tmp-9892/sbvPlugin-0.7'
Installed sbvPlugin-0.7
Test log
No test log was submitted for this report.