Build #1 for smtlib2-0.2
| Package | smtlib2-0.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-27 10:40:34.982069 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, text-1.2.0.4, tagged-0.7.3, process-1.2.0.0, mtl-2.1.3.1, data-fix-0.0.1, containers-0.5.5.1, constraints-0.4.1.3, bytestring-0.10.4.0, blaze-builder-0.3.3.4, base-4.7.0.1, attoparsec-0.12.1.2, atto-lisp-0.2.2, array-0.5.0.0 |
| Flags | -withdatakinds withconstraints |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring data-fix-0.0.1...
Building data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
[1 of 1] Compiling Data.Fix ( src/Data/Fix.hs, dist/build/Data/Fix.o )
In-place registering data-fix-0.0.1...
Running Haddock for data-fix-0.0.1...
Running hscolour for data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
Haddock coverage:
100% ( 13 / 13) in 'Data.Fix'
Documentation created: dist/doc/html/data-fix/index.html,
dist/doc/html/data-fix/data-fix.txt
Creating package registration file: /tmp/pkgConf-data-fix-0.024074.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/data-fix-0.0.1
Registering data-fix-0.0.1...
Installed data-fix-0.0.1
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 4 / 4) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
100% ( 14 / 14) in 'Control.Monad.Error'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 22 / 22) in 'Control.Monad.Reader'
100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
100% ( 23 / 23) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 23 / 23) in 'Control.Monad.State.Strict'
94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.324074.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
100% ( 9 / 9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html,
dist/doc/html/newtype/newtype.txt
Creating package registration file: /tmp/pkgConf-newtype-024074.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/newtype-0.2
Registering newtype-0.2...
Installed newtype-0.2
Configuring primitive-0.5.4.0...
Building primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.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 )
[ 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 )
Data/Primitive/Array.hs:32:1: Warning:
The import of ‘Control.Monad.ST’ is redundant
except perhaps to import instances from ‘Control.Monad.ST’
To import instances alone, use: import Control.Monad.ST()
[ 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 )
In-place registering primitive-0.5.4.0...
Running Haddock for primitive-0.5.4.0...
Running hscolour for primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.0...
Preprocessing library primitive-0.5.4.0...
Data/Primitive/Array.hs:32:1: Warning:
The import of ‘Control.Monad.ST’ is redundant
except perhaps to import instances from ‘Control.Monad.ST’
To import instances alone, use: import Control.Monad.ST()
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
71% ( 10 / 14) in 'Control.Monad.Primitive'
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file: /tmp/pkgConf-primitive-0.5.424074.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.5.4.0
Registering primitive-0.5.4.0...
Installed primitive-0.5.4.0
Configuring tagged-0.7.3...
Building tagged-0.7.3...
Preprocessing library tagged-0.7.3...
[1 of 1] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o )
In-place registering tagged-0.7.3...
Running Haddock for tagged-0.7.3...
Running hscolour for tagged-0.7.3...
Preprocessing library tagged-0.7.3...
Preprocessing library tagged-0.7.3...
Haddock coverage:
92% ( 12 / 13) in 'Data.Tagged'
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Creating package registration file: /tmp/pkgConf-tagged-0.724074.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/tagged-0.7.3
Registering tagged-0.7.3...
Installed tagged-0.7.3
Configuring text-1.2.0.4...
Building text-1.2.0.4...
Preprocessing library text-1.2.0.4...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 43] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.4...
Running Haddock for text-1.2.0.4...
Running hscolour for text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Preprocessing library text-1.2.0.4...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
50% ( 5 / 10) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% (125 /125) in 'Data.Text'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
99% (124 /125) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.024074.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.4
Registering text-1.2.0.4...
Installed text-1.2.0.4
Configuring constraints-0.4.1.3...
Building constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
[1 of 3] Compiling Data.Constraint ( Data/Constraint.hs, dist/build/Data/Constraint.o )
[2 of 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.4.1.3...
Running Haddock for constraints-0.4.1.3...
Running hscolour for constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Haddock coverage:
96% ( 22 / 23) in 'Data.Constraint'
100% ( 7 / 7) in 'Data.Constraint.Unsafe'
44% ( 4 / 9) in 'Data.Constraint.Forall'
Warning: Data.Constraint.Forall: could not find link destinations for:
Data.Constraint.Forall.A Data.Constraint.Forall.B Data.Constraint.Forall.F Data.Constraint.Forall.M
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Creating package registration file: /tmp/pkgConf-constraints-0.4.124074.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/constraints-0.4.1.3
Registering constraints-0.4.1.3...
Installed constraints-0.4.1.3
Configuring vector-0.10.12.2...
Building vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
[ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o )
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
[ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package primitive-0.5.4.0 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
[ 6 of 19] Compiling Data.Vector.Fusion.Stream ( Data/Vector/Fusion/Stream.hs, dist/build/Data/Vector/Fusion/Stream.o )
[ 7 of 19] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[ 8 of 19] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 9 of 19] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[10 of 19] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[11 of 19] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[12 of 19] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[13 of 19] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
Data/Vector/Storable/Mutable.hs:450:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[14 of 19] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:1398:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[15 of 19] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
[16 of 19] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
[17 of 19] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[18 of 19] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[19 of 19] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
In-place registering vector-0.10.12.2...
Running Haddock for vector-0.10.12.2...
Running hscolour for vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
Preprocessing library vector-0.10.12.2...
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 6 / 6) in 'Data.Vector.Fusion.Stream.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
83% (104 /126) in 'Data.Vector.Fusion.Stream.Monadic'
85% ( 88 /104) in 'Data.Vector.Fusion.Stream'
64% ( 42 / 66) in 'Data.Vector.Generic.Mutable'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
5% ( 1 / 20) in 'Data.Vector.Generic.New'
93% (215 /232) in 'Data.Vector.Generic'
76% ( 38 / 50) in 'Data.Vector.Primitive.Mutable'
97% (185 /191) in 'Data.Vector.Primitive'
79% ( 46 / 58) in 'Data.Vector.Storable.Mutable'
97% (194 /200) in 'Data.Vector.Storable'
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
96% (201 /210) in 'Data.Vector.Unboxed'
77% ( 47 / 61) in 'Data.Vector.Unboxed.Mutable'
76% ( 37 / 49) in 'Data.Vector.Mutable'
94% (199 /212) in 'Data.Vector'
Warning: Data.Vector.Unboxed: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:VectorBool Data.Vector.Unboxed.Base.V_Bool Data.Vector.Unboxed.Base.TFCo:R:VectorChar Data.Vector.Unboxed.Base.V_Char Data.Vector.Unboxed.Base.TFCo:R:VectorDouble Data.Vector.Unboxed.Base.V_Double Data.Vector.Unboxed.Base.TFCo:R:VectorFloat Data.Vector.Unboxed.Base.V_Float Data.Vector.Unboxed.Base.TFCo:R:VectorInt Data.Vector.Unboxed.Base.V_Int Data.Vector.Unboxed.Base.TFCo:R:VectorInt8 Data.Vector.Unboxed.Base.V_Int8 Data.Vector.Unboxed.Base.TFCo:R:VectorInt16 Data.Vector.Unboxed.Base.V_Int16 Data.Vector.Unboxed.Base.TFCo:R:VectorInt32 Data.Vector.Unboxed.Base.V_Int32 Data.Vector.Unboxed.Base.TFCo:R:VectorInt64 Data.Vector.Unboxed.Base.V_Int64 Data.Vector.Unboxed.Base.TFCo:R:VectorWord Data.Vector.Unboxed.Base.V_Word Data.Vector.Unboxed.Base.TFCo:R:VectorWord8 Data.Vector.Unboxed.Base.V_Word8 Data.Vector.Unboxed.Base.TFCo:R:VectorWord16 Data.Vector.Unboxed.Base.V_Word16 Data.Vector.Unboxed.Base.TFCo:R:VectorWord32 Data.Vector.Unboxed.Base.V_Word32 Data.Vector.Unboxed.Base.TFCo:R:VectorWord64 Data.Vector.Unboxed.Base.V_Word64 Data.Vector.Unboxed.Base.TFCo:R:Vector() Data.Vector.Unboxed.Base.V_Unit Data.Vector.Unboxed.Base.TFCo:R:VectorComplex Data.Vector.Unboxed.Base.V_Complex Data.Vector.Unboxed.Base.TFCo:R:Vector(,) Data.Vector.Unboxed.Base.V_2 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,) Data.Vector.Unboxed.Base.V_3 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,) Data.Vector.Unboxed.Base.V_4 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,) Data.Vector.Unboxed.Base.V_5 Data.Vector.Unboxed.Base.TFCo:R:Vector(,,,,,) Data.Vector.Unboxed.Base.V_6 Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
Data.Vector.Unboxed.Base.TFCo:R:MVectorsBool Data.Vector.Unboxed.Base.MV_Bool Data.Vector.Unboxed.Base.TFCo:R:MVectorsChar Data.Vector.Unboxed.Base.MV_Char Data.Vector.Unboxed.Base.TFCo:R:MVectorsDouble Data.Vector.Unboxed.Base.MV_Double Data.Vector.Unboxed.Base.TFCo:R:MVectorsFloat Data.Vector.Unboxed.Base.MV_Float Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord64 Data.Vector.Unboxed.Base.MV_Word64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord32 Data.Vector.Unboxed.Base.MV_Word32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord16 Data.Vector.Unboxed.Base.MV_Word16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord8 Data.Vector.Unboxed.Base.MV_Word8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsWord Data.Vector.Unboxed.Base.MV_Word Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt64 Data.Vector.Unboxed.Base.MV_Int64 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt32 Data.Vector.Unboxed.Base.MV_Int32 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt16 Data.Vector.Unboxed.Base.MV_Int16 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt8 Data.Vector.Unboxed.Base.MV_Int8 Data.Vector.Unboxed.Base.TFCo:R:MVectorsInt Data.Vector.Unboxed.Base.MV_Int Data.Vector.Unboxed.Base.TFCo:R:MVectors() Data.Vector.Unboxed.Base.MV_Unit Data.Vector.Unboxed.Base.TFCo:R:MVectorsComplex Data.Vector.Unboxed.Base.MV_Complex Data.Vector.Unboxed.Base.TFCo:R:MVectors(,) Data.Vector.Unboxed.Base.MV_2 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,) Data.Vector.Unboxed.Base.MV_3 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,) Data.Vector.Unboxed.Base.MV_4 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,) Data.Vector.Unboxed.Base.MV_5 Data.Vector.Unboxed.Base.TFCo:R:MVectors(,,,,,) Data.Vector.Unboxed.Base.MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file: /tmp/pkgConf-vector-0.10.1224074.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/vector-0.10.12.2
Registering vector-0.10.12.2...
Installed vector-0.10.12.2
Configuring blaze-builder-0.3.3.4...
Building blaze-builder-0.3.3.4...
Preprocessing library blaze-builder-0.3.3.4...
[ 1 of 13] Compiling Blaze.ByteString.Builder.Internal.Types ( Blaze/ByteString/Builder/Internal/Types.hs, dist/build/Blaze/ByteString/Builder/Internal/Types.o )
[ 2 of 13] Compiling Blaze.ByteString.Builder.Internal.Write ( Blaze/ByteString/Builder/Internal/Write.hs, dist/build/Blaze/ByteString/Builder/Internal/Write.o )
[ 3 of 13] Compiling Blaze.ByteString.Builder.Internal.Buffer ( Blaze/ByteString/Builder/Internal/Buffer.hs, dist/build/Blaze/ByteString/Builder/Internal/Buffer.o )
[ 4 of 13] Compiling Blaze.ByteString.Builder.Internal.UncheckedShifts ( Blaze/ByteString/Builder/Internal/UncheckedShifts.hs, dist/build/Blaze/ByteString/Builder/Internal/UncheckedShifts.o )
[ 5 of 13] Compiling Blaze.ByteString.Builder.Internal ( Blaze/ByteString/Builder/Internal.hs, dist/build/Blaze/ByteString/Builder/Internal.o )
[ 6 of 13] Compiling Blaze.ByteString.Builder.Char.Utf8 ( Blaze/ByteString/Builder/Char/Utf8.hs, dist/build/Blaze/ByteString/Builder/Char/Utf8.o )
[ 7 of 13] Compiling Blaze.ByteString.Builder.ByteString ( Blaze/ByteString/Builder/ByteString.hs, dist/build/Blaze/ByteString/Builder/ByteString.o )
[ 8 of 13] Compiling Blaze.ByteString.Builder.Word ( Blaze/ByteString/Builder/Word.hs, dist/build/Blaze/ByteString/Builder/Word.o )
[ 9 of 13] Compiling Blaze.ByteString.Builder.Char8 ( Blaze/ByteString/Builder/Char8.hs, dist/build/Blaze/ByteString/Builder/Char8.o )
[10 of 13] Compiling Blaze.ByteString.Builder.HTTP ( Blaze/ByteString/Builder/HTTP.hs, dist/build/Blaze/ByteString/Builder/HTTP.o )
[11 of 13] Compiling Blaze.ByteString.Builder.Int ( Blaze/ByteString/Builder/Int.hs, dist/build/Blaze/ByteString/Builder/Int.o )
[12 of 13] Compiling Blaze.ByteString.Builder ( Blaze/ByteString/Builder.hs, dist/build/Blaze/ByteString/Builder.o )
[13 of 13] Compiling Blaze.ByteString.Builder.Html.Utf8 ( Blaze/ByteString/Builder/Html/Utf8.hs, dist/build/Blaze/ByteString/Builder/Html/Utf8.o )
In-place registering blaze-builder-0.3.3.4...
Running Haddock for blaze-builder-0.3.3.4...
Running hscolour for blaze-builder-0.3.3.4...
Preprocessing library blaze-builder-0.3.3.4...
Preprocessing library blaze-builder-0.3.3.4...
Haddock coverage:
21% ( 4 / 19) in 'Blaze.ByteString.Builder.Internal.Types'
92% ( 24 / 26) in 'Blaze.ByteString.Builder.Internal.Write'
100% ( 22 / 22) in 'Blaze.ByteString.Builder.Internal.Buffer'
25% ( 1 / 4) in 'Blaze.ByteString.Builder.Internal.UncheckedShifts'
69% ( 22 / 32) in 'Blaze.ByteString.Builder.Internal'
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char.Utf8'
100% ( 12 / 12) in 'Blaze.ByteString.Builder.ByteString'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Word'
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char8'
100% ( 4 / 4) in 'Blaze.ByteString.Builder.HTTP'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Int'
92% ( 22 / 24) in 'Blaze.ByteString.Builder'
100% ( 10 / 10) in 'Blaze.ByteString.Builder.Html.Utf8'
Documentation created: dist/doc/html/blaze-builder/index.html,
dist/doc/html/blaze-builder/blaze-builder.txt
Creating package registration file: /tmp/pkgConf-blaze-builder-0.3.324074.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/blaze-builder-0.3.3.4
Registering blaze-builder-0.3.3.4...
Installed blaze-builder-0.3.3.4
Configuring hashable-1.2.3.1...
Building hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.1...
Running Haddock for hashable-1.2.3.1...
Running hscolour for hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file: /tmp/pkgConf-hashable-1.2.324074.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.1
Registering hashable-1.2.3.1...
Installed hashable-1.2.3.1
Configuring blaze-textual-0.2.0.9...
Building blaze-textual-0.2.0.9...
Preprocessing library blaze-textual-0.2.0.9...
[1 of 4] Compiling Blaze.Text.Int ( Blaze/Text/Int.hs, dist/build/Blaze/Text/Int.o )
[2 of 4] Compiling Blaze.Text.Double.Native ( Blaze/Text/Double/Native.hs, dist/build/Blaze/Text/Double/Native.o )
[3 of 4] Compiling Blaze.Text.Double ( Blaze/Text/Double.hs, dist/build/Blaze/Text/Double.o )
[4 of 4] Compiling Blaze.Text ( Blaze/Text.hs, dist/build/Blaze/Text.o )
In-place registering blaze-textual-0.2.0.9...
Running Haddock for blaze-textual-0.2.0.9...
Running hscolour for blaze-textual-0.2.0.9...
Preprocessing library blaze-textual-0.2.0.9...
Preprocessing library blaze-textual-0.2.0.9...
Haddock coverage:
0% ( 0 / 4) in 'Blaze.Text.Int'
0% ( 0 / 3) in 'Blaze.Text.Double.Native'
0% ( 0 / 3) in 'Blaze.Text.Double'
0% ( 0 / 4) in 'Blaze.Text'
Documentation created: dist/doc/html/blaze-textual/index.html,
dist/doc/html/blaze-textual/blaze-textual.txt
Creating package registration file: /tmp/pkgConf-blaze-textual-0.2.024074.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/blaze-textual-0.2.0.9
Registering blaze-textual-0.2.0.9...
Installed blaze-textual-0.2.0.9
Configuring scientific-0.3.3.7...
Building scientific-0.3.3.7...
Preprocessing library scientific-0.3.3.7...
[1 of 4] Compiling Math.NumberTheory.Logarithms ( src/Math/NumberTheory/Logarithms.hs, dist/build/Math/NumberTheory/Logarithms.o )
[2 of 4] Compiling Data.Scientific ( src/Data/Scientific.hs, dist/build/Data/Scientific.o )
[3 of 4] Compiling Data.Text.Lazy.Builder.Scientific ( src/Data/Text/Lazy/Builder/Scientific.hs, dist/build/Data/Text/Lazy/Builder/Scientific.o )
[4 of 4] Compiling Data.ByteString.Builder.Scientific ( src/Data/ByteString/Builder/Scientific.hs, dist/build/Data/ByteString/Builder/Scientific.o )
In-place registering scientific-0.3.3.7...
Running Haddock for scientific-0.3.3.7...
Running hscolour for scientific-0.3.3.7...
Preprocessing library scientific-0.3.3.7...
Preprocessing library scientific-0.3.3.7...
Haddock coverage:
100% ( 2 / 2) in 'Math.NumberTheory.Logarithms'
100% ( 22 / 22) in 'Data.Scientific'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.Scientific'
75% ( 3 / 4) in 'Data.ByteString.Builder.Scientific'
Warning: Data.Scientific: could not find link destinations for:
Data.Scientific.whenFloating
Documentation created: dist/doc/html/scientific/index.html,
dist/doc/html/scientific/scientific.txt
Creating package registration file: /tmp/pkgConf-scientific-0.3.324074.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/scientific-0.3.3.7
Registering scientific-0.3.3.7...
Installed scientific-0.3.3.7
Configuring attoparsec-0.12.1.2...
Building attoparsec-0.12.1.2...
Preprocessing library attoparsec-0.12.1.2...
[ 1 of 21] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o )
[ 2 of 21] Compiling Data.Attoparsec.Text.Buffer ( Data/Attoparsec/Text/Buffer.hs, dist/build/Data/Attoparsec/Text/Buffer.o )
[ 3 of 21] Compiling Data.Attoparsec.Internal.Fhthagn ( Data/Attoparsec/Internal/Fhthagn.hs, dist/build/Data/Attoparsec/Internal/Fhthagn.o )
[ 4 of 21] Compiling Data.Attoparsec.ByteString.Buffer ( Data/Attoparsec/ByteString/Buffer.hs, dist/build/Data/Attoparsec/ByteString/Buffer.o )
[ 5 of 21] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o )
[ 6 of 21] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o )
[ 7 of 21] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o )
[ 8 of 21] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o )
[ 9 of 21] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o )
[10 of 21] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o )
[11 of 21] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o )
[12 of 21] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o )
[13 of 21] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o )
[14 of 21] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o )
[15 of 21] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o )
[16 of 21] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o )
[17 of 21] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o )
[18 of 21] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o )
[19 of 21] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o )
[20 of 21] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o )
[21 of 21] Compiling Data.Attoparsec ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o )
In-place registering attoparsec-0.12.1.2...
Running Haddock for attoparsec-0.12.1.2...
Running hscolour for attoparsec-0.12.1.2...
Preprocessing library attoparsec-0.12.1.2...
Preprocessing library attoparsec-0.12.1.2...
Haddock coverage:
70% ( 7 / 10) in 'Data.Attoparsec.Text.FastSet'
40% ( 4 / 10) in 'Data.Attoparsec.Text.Buffer'
50% ( 1 / 2) in 'Data.Attoparsec.Internal.Fhthagn'
22% ( 2 / 9) in 'Data.Attoparsec.ByteString.Buffer'
100% ( 7 / 7) in 'Data.Attoparsec.Zepto'
100% ( 2 / 2) in 'Data.Attoparsec.Number'
69% ( 9 / 13) in 'Data.Attoparsec.ByteString.FastSet'
50% ( 5 / 10) in 'Data.Attoparsec.Internal.Types'
100% ( 4 / 4) in 'Data.Attoparsec.Types'
100% ( 8 / 8) in 'Data.Attoparsec.Internal'
100% ( 23 / 23) in 'Data.Attoparsec.Combinator'
90% ( 38 / 42) in 'Data.Attoparsec.ByteString.Internal'
95% ( 39 / 41) in 'Data.Attoparsec.Text.Internal'
98% ( 89 / 91) in 'Data.Attoparsec.Text'
100% ( 9 / 9) in 'Data.Attoparsec.Text.Lazy'
97% ( 65 / 67) in 'Data.Attoparsec.ByteString'
98% ( 91 / 93) in 'Data.Attoparsec.ByteString.Char8'
100% ( 2 / 2) in 'Data.Attoparsec.Char8'
100% ( 9 / 9) in 'Data.Attoparsec.ByteString.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec'
Warning: Data.Attoparsec.Types: could not find link destinations for:
Data.Attoparsec.Internal.Types.nullChunk Data.Attoparsec.Internal.Types.pappendChunk Data.Attoparsec.Internal.Types.atBufferEnd Data.Attoparsec.Internal.Types.bufferElemAt Data.Attoparsec.Internal.Types.ChunkElem
Warning: Data.Attoparsec.Combinator: could not find link destinations for:
Data.Attoparsec.Internal.Types.ChunkElem
Documentation created: dist/doc/html/attoparsec/index.html,
dist/doc/html/attoparsec/attoparsec.txt
Creating package registration file: /tmp/pkgConf-attoparsec-0.12.124074.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/attoparsec-0.12.1.2
Registering attoparsec-0.12.1.2...
Installed attoparsec-0.12.1.2
Configuring atto-lisp-0.2.2...
Building atto-lisp-0.2.2...
Preprocessing library atto-lisp-0.2.2...
[1 of 1] Compiling Data.AttoLisp ( Data/AttoLisp.hs, dist/build/Data/AttoLisp.o )
Data/AttoLisp.hs:37:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Data/AttoLisp.hs:68:12: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:467:21: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:473:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:474:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:486:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:487:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:492:17: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:496:19: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:498:34: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:509:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:510:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:663:20: Warning:
In the use of ‘AC.number’
(imported from Data.Attoparsec.ByteString.Char8):
Deprecated: "Use 'scientific' instead."
Data/AttoLisp.hs:841:15: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:842:13: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:843:13: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
In-place registering atto-lisp-0.2.2...
Running Haddock for atto-lisp-0.2.2...
Running hscolour for atto-lisp-0.2.2...
Preprocessing library atto-lisp-0.2.2...
Preprocessing library atto-lisp-0.2.2...
Data/AttoLisp.hs:37:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Data/AttoLisp.hs:68:12: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:467:21: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:473:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:474:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:486:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:487:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:492:17: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:496:19: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:498:34: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:509:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:510:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:663:20: Warning:
In the use of ‘AC.number’
(imported from Data.Attoparsec.ByteString.Char8):
Deprecated: "Use 'scientific' instead."
Data/AttoLisp.hs:841:15: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:842:13: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:843:13: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Haddock coverage:
88% ( 22 / 25) in 'Data.AttoLisp'
Warning: Data.AttoLisp: could not find link destinations for:
Data.AttoLisp.ParseList
Documentation created: dist/doc/html/atto-lisp/index.html,
dist/doc/html/atto-lisp/atto-lisp.txt
Creating package registration file: /tmp/pkgConf-atto-lisp-0.224074.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/atto-lisp-0.2.2
Registering atto-lisp-0.2.2...
Installed atto-lisp-0.2.2
Downloading smtlib2-0.2...
Configuring smtlib2-0.2...
Building smtlib2-0.2...
Preprocessing library smtlib2-0.2...
[ 1 of 11] Compiling Data.Unit ( Data/Unit.hs, dist/build/Data/Unit.o )
[ 2 of 11] Compiling Language.SMTLib2.Internals.Operators ( Language/SMTLib2/Internals/Operators.hs, dist/build/Language/SMTLib2/Internals/Operators.o )
[ 3 of 11] Compiling Language.SMTLib2.Strategy ( Language/SMTLib2/Strategy.hs, dist/build/Language/SMTLib2/Strategy.o )
[ 4 of 11] Compiling Language.SMTLib2.Internals ( Language/SMTLib2/Internals.hs, dist/build/Language/SMTLib2/Internals.o )
Language/SMTLib2/Internals.hs:10:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
[ 5 of 11] Compiling Language.SMTLib2.Internals.Instances ( Language/SMTLib2/Internals/Instances.hs, dist/build/Language/SMTLib2/Internals/Instances.o )
Language/SMTLib2/Internals/Instances.hs:13:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals/Instances.hs:1510:1: Warning:
Pattern match(es) are overlapped
In an equation for ‘compareExprs’:
compareExprs (InternalObj _ _) _ = ...
compareExprs _ (InternalObj _ _) = ...
[ 6 of 11] Compiling Language.SMTLib2.Internals.Optimize ( Language/SMTLib2/Internals/Optimize.hs, dist/build/Language/SMTLib2/Internals/Optimize.o )
[ 7 of 11] Compiling Language.SMTLib2.Internals.Interface ( Language/SMTLib2/Internals/Interface.hs, dist/build/Language/SMTLib2/Internals/Interface.o )
Language/SMTLib2/Internals/Interface.hs:15:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
[ 8 of 11] Compiling Language.SMTLib2.Pipe ( Language/SMTLib2/Pipe.hs, dist/build/Language/SMTLib2/Pipe.o )
Language/SMTLib2/Pipe.hs:28:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:29:1: Warning:
Module ‘Data.Attoparsec’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:40:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Pipe.hs:136:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:140:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:494:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:722:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:723:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:730:95: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:823:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:835:31: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:868:65: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:935:54: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:936:46: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:939:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:940:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:951:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1514:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1515:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1558:60: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1659:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1674:49: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1675:52: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1682:16: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
[ 9 of 11] Compiling Language.SMTLib2.Connection ( Language/SMTLib2/Connection.hs, dist/build/Language/SMTLib2/Connection.o )
[10 of 11] Compiling Language.SMTLib2 ( Language/SMTLib2.hs, dist/build/Language/SMTLib2.o )
[11 of 11] Compiling Language.SMTLib2.Solver ( Language/SMTLib2/Solver.hs, dist/build/Language/SMTLib2/Solver.o )
In-place registering smtlib2-0.2...
Running Haddock for smtlib2-0.2...
Running hscolour for smtlib2-0.2...
Preprocessing library smtlib2-0.2...
Preprocessing library smtlib2-0.2...
Language/SMTLib2/Internals.hs:10:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals/Instances.hs:13:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals/Interface.hs:15:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Pipe.hs:28:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:29:1: Warning:
Module ‘Data.Attoparsec’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:40:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Pipe.hs:136:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:140:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:494:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:722:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:723:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:730:95: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:823:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:835:31: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:868:65: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:935:54: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:936:46: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:939:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:940:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:951:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1514:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1515:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1558:60: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1659:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1674:49: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1675:52: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1682:16: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Haddock coverage:
25% ( 2 / 8) in 'Data.Unit'
0% ( 0 / 8) in 'Language.SMTLib2.Internals.Operators'
0% ( 0 / 9) in 'Language.SMTLib2.Strategy'
8% ( 16 /194) in 'Language.SMTLib2.Internals'
6% ( 7 /115) in 'Language.SMTLib2.Internals.Instances'
0% ( 0 / 3) in 'Language.SMTLib2.Internals.Optimize'
86% (115 /133) in 'Language.SMTLib2.Internals.Interface'
33% ( 6 / 18) in 'Language.SMTLib2.Pipe'
71% ( 5 / 7) in 'Language.SMTLib2.Connection'
60% (148 /245) in 'Language.SMTLib2'
100% ( 5 / 5) in 'Language.SMTLib2.Solver'
Warning: Language.SMTLib2.Internals.Optimize: could not find link destinations for:
Language.SMTLib2.Internals.Optimize.OptimizeBackend
Documentation created: dist/doc/html/smtlib2/index.html,
dist/doc/html/smtlib2/smtlib2.txt
Creating package registration file: /tmp/pkgConf-smtlib2-024074.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/smtlib2-0.2
Registering smtlib2-0.2...
Installed smtlib2-0.2
Test log
No test log was submitted for this report.