Build #1 for improve-0.2.2
| Package | improve-0.2.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Failed |
| Tests | NotTried |
| Time submitted | 2015-06-02 01:31:10.084655 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | yices-0.0.0.12, mtl-2.0.1.1, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring text-1.2.1.1...
Building text-1.2.1.1...
Preprocessing library text-1.2.1.1...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] 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 44] 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 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.1.1...
Running Haddock for text-1.2.1.1...
Running hscolour for text-1.2.1.1...
Preprocessing library text-1.2.1.1...
Preprocessing library text-1.2.1.1...
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'
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
100% ( 4 / 4) in 'Data.Text.Show'
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% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
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'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
99% (127 /128) 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'
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.116255.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.1.1
Registering text-1.2.1.1...
Installed text-1.2.1.1
Configuring transformers-0.2.2.1...
Building transformers-0.2.2.1...
Preprocessing library transformers-0.2.2.1...
[ 1 of 21] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o )
[ 2 of 21] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o )
[ 3 of 21] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o )
[ 4 of 21] Compiling Data.Functor.Identity ( Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o )
[ 5 of 21] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 6 of 21] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 7 of 21] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 8 of 21] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
Control/Monad/Trans/Error.hs:55:10: Warning:
‘IO’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 9 of 21] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o )
[10 of 21] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[11 of 21] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[12 of 21] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o )
[13 of 21] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o )
[14 of 21] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[15 of 21] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o )
[16 of 21] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o )
[17 of 21] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[18 of 21] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o )
[19 of 21] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o )
[20 of 21] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o )
[21 of 21] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o )
In-place registering transformers-0.2.2.1...
Running Haddock for transformers-0.2.2.1...
Running hscolour for transformers-0.2.2.1...
Preprocessing library transformers-0.2.2.1...
Preprocessing library transformers-0.2.2.1...
Control/Monad/Trans/Error.hs:55:10: Warning:
‘IO’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
100% ( 2 / 2) in 'Data.Functor.Product'
100% ( 2 / 2) in 'Data.Functor.Constant'
100% ( 2 / 2) in 'Data.Functor.Compose'
100% ( 2 / 2) in 'Data.Functor.Identity'
100% ( 8 / 8) in 'Control.Monad.Trans.Class'
100% ( 2 / 2) in 'Control.Monad.IO.Class'
71% ( 10 / 14) in 'Control.Monad.Trans.Cont'
100% ( 15 / 15) in 'Control.Monad.Trans.Error'
100% ( 7 / 7) in 'Control.Monad.Trans.Identity'
100% ( 7 / 7) in 'Control.Monad.Trans.List'
100% ( 9 / 9) in 'Control.Monad.Trans.Maybe'
100% ( 18 / 18) in 'Control.Monad.Trans.Reader'
76% ( 26 / 34) in 'Control.Monad.Trans.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.RWS'
76% ( 26 / 34) in 'Control.Monad.Trans.RWS.Strict'
100% ( 33 / 33) in 'Control.Monad.Trans.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.State'
100% ( 33 / 33) in 'Control.Monad.Trans.State.Strict'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.Writer'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict'
Documentation created: dist/doc/html/transformers/index.html,
dist/doc/html/transformers/transformers.txt
Creating package registration file: /tmp/pkgConf-transformers-0.2.216255.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.2.2.1
Registering transformers-0.2.2.1...
Installed transformers-0.2.2.1
Configuring mtl-2.0.1.1...
Building mtl-2.0.1.1...
Preprocessing library mtl-2.0.1.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 )
Control/Monad/Error/Class.hs:57:1: Warning:
Module ‘Control.Monad.Instances’ is deprecated:
This module now contains no instances and will be removed in the future
[ 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 )
Control/Monad/Error.hs:57:1: Warning:
Module ‘Control.Monad.Instances’ is deprecated:
This module now contains no instances and will be removed in the future
[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.0.1.1...
Running Haddock for mtl-2.0.1.1...
Running hscolour for mtl-2.0.1.1...
Preprocessing library mtl-2.0.1.1...
Preprocessing library mtl-2.0.1.1...
Control/Monad/Error/Class.hs:57:1: Warning:
Module ‘Control.Monad.Instances’ is deprecated:
This module now contains no instances and will be removed in the future
Control/Monad/Error.hs:57:1: Warning:
Module ‘Control.Monad.Instances’ is deprecated:
This module now contains no instances and will be removed in the future
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
75% ( 3 / 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'
62% ( 13 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 23 / 23) in 'Control.Monad.Reader'
62% ( 13 / 21) in 'Control.Monad.RWS.Strict'
96% ( 23 / 24) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 23 / 24) in 'Control.Monad.State.Strict'
95% ( 18 / 19) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
95% ( 18 / 19) in 'Control.Monad.Writer.Strict'
76% ( 16 / 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.0.116255.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.0.1.1
Registering mtl-2.0.1.1...
Installed mtl-2.0.1.1
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
43% ( 6 / 14) in 'Text.Parsec.Error'
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
64% ( 32 / 50) in 'Text.Parsec.Prim'
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
50% ( 2 / 4) in 'Text.Parsec.ByteString'
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
33% ( 1 / 3) in 'Text.Parsec.Text'
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
78% ( 73 / 94) in 'Text.Parsec'
80% ( 8 / 10) in 'Text.Parsec.Language'
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file: /tmp/pkgConf-parsec-3.116255.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.9
Registering parsec-3.1.9...
Installed parsec-3.1.9
Configuring yices-0.0.0.12...
Building yices-0.0.0.12...
Preprocessing library yices-0.0.0.12...
[1 of 3] Compiling Math.SMT.Yices.Syntax ( Math/SMT/Yices/Syntax.hs, dist/build/Math/SMT/Yices/Syntax.o )
Math/SMT/Yices/Syntax.hs:17:1: Warning:
The import of ‘Data.Char’ is redundant
except perhaps to import instances from ‘Data.Char’
To import instances alone, use: import Data.Char()
Math/SMT/Yices/Syntax.hs:18:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Math/SMT/Yices/Syntax.hs:21:1: Warning:
The import of ‘Text.Show’ is redundant
except perhaps to import instances from ‘Text.Show’
To import instances alone, use: import Text.Show()
Math/SMT/Yices/Syntax.hs:102:1: Warning:
Top-level binding with no type signature: space :: ShowS
Math/SMT/Yices/Syntax.hs:110:1: Warning:
Top-level binding with no type signature:
showStringsSepBy :: String -> [String] -> ShowS
Math/SMT/Yices/Syntax.hs:117:1: Warning:
Top-level binding with no type signature:
showCtorDef :: forall a. Show a => (String, [(String, a)]) -> ShowS
Math/SMT/Yices/Syntax.hs:120:1: Warning:
Top-level binding with no type signature:
showBinding :: forall a a1.
(Show a1, Show a) =>
((String, Maybe a), a1) -> ShowS
Math/SMT/Yices/Syntax.hs:127:1: Warning:
Top-level binding with no type signature: showTypY :: TypY -> ShowS
Math/SMT/Yices/Syntax.hs:143:1: Warning:
Top-level binding with no type signature: showExpY :: ExpY -> ShowS
Math/SMT/Yices/Syntax.hs:193:1: Warning:
Top-level binding with no type signature: showCmdY :: CmdY -> ShowS
[2 of 3] Compiling Math.SMT.Yices.Parser ( Math/SMT/Yices/Parser.hs, dist/build/Math/SMT/Yices/Parser.o )
Math/SMT/Yices/Parser.hs:23:1: Warning:
The import of ‘Data.Maybe’ is redundant
except perhaps to import instances from ‘Data.Maybe’
To import instances alone, use: import Data.Maybe()
Math/SMT/Yices/Parser.hs:49:1: Warning:
Top-level binding with no type signature:
tp :: forall u.
T.GenTokenParser
String u transformers-0.2.2.1:Data.Functor.Identity.Identity
Math/SMT/Yices/Parser.hs:51:1: Warning:
Top-level binding with no type signature:
stringLiteral :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity String
Math/SMT/Yices/Parser.hs:53:1: Warning:
Top-level binding with no type signature:
lexme :: forall b s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m b
-> Text.Parsec.Prim.ParsecT s u m b
Math/SMT/Yices/Parser.hs:58:1: Warning:
Top-level binding with no type signature:
paren :: forall s u (m :: * -> *) a.
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m a
-> Text.Parsec.Prim.ParsecT s u m a
Math/SMT/Yices/Parser.hs:60:1: Warning:
Top-level binding with no type signature:
many2 :: forall a1 s u (m :: * -> *) t.
Text.Parsec.Prim.Stream s m t =>
Text.Parsec.Prim.ParsecT s u m a1
-> Text.Parsec.Prim.ParsecT s u m [a1]
Math/SMT/Yices/Parser.hs:62:1: Warning:
Top-level binding with no type signature:
idStart :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity Char
Math/SMT/Yices/Parser.hs:64:1: Warning:
Top-level binding with no type signature:
idLetter :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity Char
Math/SMT/Yices/Parser.hs:66:1: Warning:
Top-level binding with no type signature:
ident :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity [Char]
Math/SMT/Yices/Parser.hs:68:1: Warning:
Top-level binding with no type signature:
identifier :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity [Char]
Math/SMT/Yices/Parser.hs:71:1: Warning:
Top-level binding with no type signature:
neg :: forall s u (m :: * -> *) a.
(Text.Parsec.Prim.Stream s m Char, Num a) =>
Text.Parsec.Prim.ParsecT s u m (a -> a)
Math/SMT/Yices/Parser.hs:74:1: Warning:
Top-level binding with no type signature:
nat :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:76:1: Warning:
Top-level binding with no type signature:
int :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:78:1: Warning:
Top-level binding with no type signature:
integer :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:81:1: Warning:
Top-level binding with no type signature:
rat :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:86:1: Warning:
Top-level binding with no type signature:
ratio :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:88:1: Warning:
Top-level binding with no type signature:
rational :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:91:1: Warning:
Top-level binding with no type signature:
true :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:93:1: Warning:
Top-level binding with no type signature:
false :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:95:1: Warning:
Top-level binding with no type signature:
bool :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:97:1: Warning:
Top-level binding with no type signature:
boolean :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:99:1: Warning:
Top-level binding with no type signature:
tok :: forall st. String -> GenParser Char st String
Math/SMT/Yices/Parser.hs:104:1: Warning:
Top-level binding with no type signature:
typYinParen :: forall u.
Text.Parsec.Prim.ParsecT
[Char] u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:107:1: Warning:
Top-level binding with no type signature:
vart :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:109:1: Warning:
Top-level binding with no type signature:
typYsimple :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:114:1: Warning:
Top-level binding with no type signature:
subtype :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:115:1: Warning:
Top-level binding with no type signature:
subrange :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:116:1: Warning:
Top-level binding with no type signature:
arr :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:117:1: Warning:
Top-level binding with no type signature:
tup :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:118:1: Warning:
Top-level binding with no type signature:
rec :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:119:1: Warning:
Top-level binding with no type signature:
datatype :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:120:1: Warning:
Top-level binding with no type signature:
scalar :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:122:1: Warning:
Top-level binding with no type signature:
ctordef :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], [([Char], TypY)])
Math/SMT/Yices/Parser.hs:124:1: Warning:
Top-level binding with no type signature:
idty :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], TypY)
Math/SMT/Yices/Parser.hs:129:1: Warning:
Top-level binding with no type signature:
idex :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], ExpY)
Math/SMT/Yices/Parser.hs:143:1: Warning:
Top-level binding with no type signature:
expYinParen :: forall u.
Text.Parsec.Prim.ParsecT
[Char] u transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:150:1: Warning:
Top-level binding with no type signature:
vare :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:151:1: Warning:
Top-level binding with no type signature:
litb :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:152:1: Warning:
Top-level binding with no type signature:
liti :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:153:1: Warning:
Top-level binding with no type signature:
litr :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:155:1: Warning:
Top-level binding with no type signature:
and_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:156:1: Warning:
Top-level binding with no type signature:
or_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:157:1: Warning:
Top-level binding with no type signature:
not_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:158:1: Warning:
Top-level binding with no type signature:
(=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:159:1: Warning:
Top-level binding with no type signature:
(/=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:160:1: Warning:
Top-level binding with no type signature:
(=>:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:161:1: Warning:
Top-level binding with no type signature:
(<:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:162:1: Warning:
Top-level binding with no type signature:
(<=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:163:1: Warning:
Top-level binding with no type signature:
(>:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:164:1: Warning:
Top-level binding with no type signature:
(>=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:165:1: Warning:
Top-level binding with no type signature:
(+:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:166:1: Warning:
Top-level binding with no type signature:
(-:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:167:1: Warning:
Top-level binding with no type signature:
(*:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:168:1: Warning:
Top-level binding with no type signature:
(/:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:169:1: Warning:
Top-level binding with no type signature:
div_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:170:1: Warning:
Top-level binding with no type signature:
mod_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:171:1: Warning:
Top-level binding with no type signature:
if_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:172:1: Warning:
Top-level binding with no type signature:
ite :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:173:1: Warning:
Top-level binding with no type signature:
let_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:174:1: Warning:
Top-level binding with no type signature:
forall :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:175:1: Warning:
Top-level binding with no type signature:
exists :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:176:1: Warning:
Top-level binding with no type signature:
lambda :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:177:1: Warning:
Top-level binding with no type signature:
mktup :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:178:1: Warning:
Top-level binding with no type signature:
mkrec :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:179:1: Warning:
Top-level binding with no type signature:
update :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:188:1: Warning:
Top-level binding with no type signature:
select :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:194:1: Warning:
Top-level binding with no type signature:
app :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:196:1: Warning:
Top-level binding with no type signature:
binding :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
(([Char], Maybe TypY), ExpY)
Math/SMT/Yices/Parser.hs:210:1: Warning:
Top-level binding with no type signature:
deftyp :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:211:1: Warning:
Top-level binding with no type signature:
define :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:212:1: Warning:
Top-level binding with no type signature:
assert :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:213:1: Warning:
Top-level binding with no type signature:
assertp :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:214:1: Warning:
Top-level binding with no type signature:
retract :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:215:1: Warning:
Top-level binding with no type signature:
check :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:216:1: Warning:
Top-level binding with no type signature:
maxsat :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:217:1: Warning:
Top-level binding with no type signature:
sete :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:218:1: Warning:
Top-level binding with no type signature:
setv :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:219:1: Warning:
Top-level binding with no type signature:
setao :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:220:1: Warning:
Top-level binding with no type signature:
push :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:221:1: Warning:
Top-level binding with no type signature:
pop :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:222:1: Warning:
Top-level binding with no type signature:
echo :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:223:1: Warning:
Top-level binding with no type signature:
include :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:224:1: Warning:
Defined but not used: ‘reset’
Math/SMT/Yices/Parser.hs:224:1: Warning:
Top-level binding with no type signature:
reset :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:225:1: Warning:
Top-level binding with no type signature:
status :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:226:1: Warning:
Top-level binding with no type signature:
dump :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:227:1: Warning:
Top-level binding with no type signature:
exit :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:82:10: Warning:
A do-notation statement discarded a result of type ‘Char’
Suppress this warning by saying ‘_ <- char '/'’
or by using the flag -fno-warn-unused-do-bind
Math/SMT/Yices/Parser.hs:125:11: Warning:
A do-notation statement discarded a result of type ‘String’
Suppress this warning by saying ‘_ <- tok "::"’
or by using the flag -fno-warn-unused-do-bind
Math/SMT/Yices/Parser.hs:130:11: Warning:
A do-notation statement discarded a result of type ‘String’
Suppress this warning by saying ‘_ <- tok "::"’
or by using the flag -fno-warn-unused-do-bind
Math/SMT/Yices/Parser.hs:179:13: Warning:
A do-notation statement discarded a result of type ‘String’
Suppress this warning by saying ‘_ <- tok "update"’
or by using the flag -fno-warn-unused-do-bind
Math/SMT/Yices/Parser.hs:188:13: Warning:
A do-notation statement discarded a result of type ‘String’
Suppress this warning by saying ‘_ <- tok "select"’
or by using the flag -fno-warn-unused-do-bind
Math/SMT/Yices/Parser.hs:192:22: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: FunIx _
[3 of 3] Compiling Math.SMT.Yices.Pipe ( Math/SMT/Yices/Pipe.hs, dist/build/Math/SMT/Yices/Pipe.o )
Math/SMT/Yices/Pipe.hs:47:1: Warning:
Top-level binding with no type signature: _BEGIN_OUTPUT :: [Char]
Math/SMT/Yices/Pipe.hs:48:1: Warning:
Top-level binding with no type signature: _END_OUTPUT :: [Char]
Math/SMT/Yices/Pipe.hs:50:1: Warning:
Defined but not used: ‘runCmdStringY’
Math/SMT/Yices/Pipe.hs:50:1: Warning:
Top-level binding with no type signature:
runCmdStringY :: (Maybe Handle,
Maybe Handle,
Maybe Handle,
ProcessHandle)
-> String -> IO ()
Math/SMT/Yices/Pipe.hs:52:1: Warning:
Defined but not used: ‘runCmdStringY'’
Math/SMT/Yices/Pipe.hs:52:1: Warning:
Top-level binding with no type signature:
runCmdStringY' :: forall t t1 t2.
(Maybe Handle, t, t1, t2) -> String -> IO ()
Math/SMT/Yices/Pipe.hs:93:7: Warning: Defined but not used: ‘code’
Math/SMT/Yices/Pipe.hs:104:1: Warning:
Top-level binding with no type signature:
stripYicesPrompt :: [Char] -> [Char]
Math/SMT/Yices/Pipe.hs:117:1: Warning:
Top-level binding with no type signature:
hGetOutLines :: Handle -> IO [[Char]]
Math/SMT/Yices/Pipe.hs:121:1: Warning:
Top-level binding with no type signature:
hGetLinesWhile :: (String -> Bool) -> Handle -> IO [String]
Math/SMT/Yices/Pipe.hs:52:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘runCmdStringY'’:
Patterns not matched: (Nothing, _, _, _)
Math/SMT/Yices/Pipe.hs:60:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘runCmdsY'’:
Patterns not matched: (Nothing, _, _, _)
Math/SMT/Yices/Pipe.hs:64:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘exitY’:
Patterns not matched: (Nothing, _, _, _)
Math/SMT/Yices/Pipe.hs:68:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘flushY’:
Patterns not matched: (Nothing, _, _, _)
Math/SMT/Yices/Pipe.hs:72:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘checkY’:
Patterns not matched: (_, Nothing, _, _)
In-place registering yices-0.0.0.12...
Running Haddock for yices-0.0.0.12...
Running hscolour for yices-0.0.0.12...
Preprocessing library yices-0.0.0.12...
Preprocessing library yices-0.0.0.12...
Math/SMT/Yices/Syntax.hs:17:1: Warning:
The import of ‘Data.Char’ is redundant
except perhaps to import instances from ‘Data.Char’
To import instances alone, use: import Data.Char()
Math/SMT/Yices/Syntax.hs:18:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Math/SMT/Yices/Syntax.hs:21:1: Warning:
The import of ‘Text.Show’ is redundant
except perhaps to import instances from ‘Text.Show’
To import instances alone, use: import Text.Show()
Math/SMT/Yices/Syntax.hs:102:1: Warning:
Top-level binding with no type signature: space :: ShowS
Math/SMT/Yices/Syntax.hs:110:1: Warning:
Top-level binding with no type signature:
showStringsSepBy :: String -> [String] -> ShowS
Math/SMT/Yices/Syntax.hs:117:1: Warning:
Top-level binding with no type signature:
showCtorDef :: forall a. Show a => (String, [(String, a)]) -> ShowS
Math/SMT/Yices/Syntax.hs:120:1: Warning:
Top-level binding with no type signature:
showBinding :: forall a a1.
(Show a1, Show a) =>
((String, Maybe a), a1) -> ShowS
Math/SMT/Yices/Syntax.hs:127:1: Warning:
Top-level binding with no type signature: showTypY :: TypY -> ShowS
Math/SMT/Yices/Syntax.hs:143:1: Warning:
Top-level binding with no type signature: showExpY :: ExpY -> ShowS
Math/SMT/Yices/Syntax.hs:193:1: Warning:
Top-level binding with no type signature: showCmdY :: CmdY -> ShowS
Math/SMT/Yices/Parser.hs:23:1: Warning:
The import of ‘Data.Maybe’ is redundant
except perhaps to import instances from ‘Data.Maybe’
To import instances alone, use: import Data.Maybe()
Math/SMT/Yices/Parser.hs:49:1: Warning:
Top-level binding with no type signature:
tp :: forall u.
T.GenTokenParser
String u transformers-0.2.2.1:Data.Functor.Identity.Identity
Math/SMT/Yices/Parser.hs:51:1: Warning:
Top-level binding with no type signature:
stringLiteral :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity String
Math/SMT/Yices/Parser.hs:53:1: Warning:
Top-level binding with no type signature:
lexme :: forall b s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m b
-> Text.Parsec.Prim.ParsecT s u m b
Math/SMT/Yices/Parser.hs:58:1: Warning:
Top-level binding with no type signature:
paren :: forall s u (m :: * -> *) a.
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m a
-> Text.Parsec.Prim.ParsecT s u m a
Math/SMT/Yices/Parser.hs:60:1: Warning:
Top-level binding with no type signature:
many2 :: forall a1 s u (m :: * -> *) t.
Text.Parsec.Prim.Stream s m t =>
Text.Parsec.Prim.ParsecT s u m a1
-> Text.Parsec.Prim.ParsecT s u m [a1]
Math/SMT/Yices/Parser.hs:62:1: Warning:
Top-level binding with no type signature:
idStart :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity Char
Math/SMT/Yices/Parser.hs:64:1: Warning:
Top-level binding with no type signature:
idLetter :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity Char
Math/SMT/Yices/Parser.hs:66:1: Warning:
Top-level binding with no type signature:
ident :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity [Char]
Math/SMT/Yices/Parser.hs:68:1: Warning:
Top-level binding with no type signature:
identifier :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity [Char]
Math/SMT/Yices/Parser.hs:71:1: Warning:
Top-level binding with no type signature:
neg :: forall s u (m :: * -> *) a.
(Text.Parsec.Prim.Stream s m Char, Num a) =>
Text.Parsec.Prim.ParsecT s u m (a -> a)
Math/SMT/Yices/Parser.hs:74:1: Warning:
Top-level binding with no type signature:
nat :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:76:1: Warning:
Top-level binding with no type signature:
int :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:78:1: Warning:
Top-level binding with no type signature:
integer :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:81:1: Warning:
Top-level binding with no type signature:
rat :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:86:1: Warning:
Top-level binding with no type signature:
ratio :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:88:1: Warning:
Top-level binding with no type signature:
rational :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m (Ratio Integer)
Math/SMT/Yices/Parser.hs:91:1: Warning:
Top-level binding with no type signature:
true :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:93:1: Warning:
Top-level binding with no type signature:
false :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:95:1: Warning:
Top-level binding with no type signature:
bool :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:97:1: Warning:
Top-level binding with no type signature:
boolean :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:99:1: Warning:
Top-level binding with no type signature:
tok :: forall st. String -> GenParser Char st String
Math/SMT/Yices/Parser.hs:104:1: Warning:
Top-level binding with no type signature:
typYinParen :: forall u.
Text.Parsec.Prim.ParsecT
[Char] u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:107:1: Warning:
Top-level binding with no type signature:
vart :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:109:1: Warning:
Top-level binding with no type signature:
typYsimple :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:114:1: Warning:
Top-level binding with no type signature:
subtype :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:115:1: Warning:
Top-level binding with no type signature:
subrange :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:116:1: Warning:
Top-level binding with no type signature:
arr :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:117:1: Warning:
Top-level binding with no type signature:
tup :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:118:1: Warning:
Top-level binding with no type signature:
rec :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:119:1: Warning:
Top-level binding with no type signature:
datatype :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:120:1: Warning:
Top-level binding with no type signature:
scalar :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity TypY
Math/SMT/Yices/Parser.hs:122:1: Warning:
Top-level binding with no type signature:
ctordef :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], [([Char], TypY)])
Math/SMT/Yices/Parser.hs:124:1: Warning:
Top-level binding with no type signature:
idty :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], TypY)
Math/SMT/Yices/Parser.hs:129:1: Warning:
Top-level binding with no type signature:
idex :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
([Char], ExpY)
Math/SMT/Yices/Parser.hs:143:1: Warning:
Top-level binding with no type signature:
expYinParen :: forall u.
Text.Parsec.Prim.ParsecT
[Char] u transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:150:1: Warning:
Top-level binding with no type signature:
vare :: forall u.
Text.Parsec.Prim.ParsecT
String u transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:151:1: Warning:
Top-level binding with no type signature:
litb :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:152:1: Warning:
Top-level binding with no type signature:
liti :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:153:1: Warning:
Top-level binding with no type signature:
litr :: forall s u (m :: * -> *).
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m ExpY
Math/SMT/Yices/Parser.hs:155:1: Warning:
Top-level binding with no type signature:
and_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:156:1: Warning:
Top-level binding with no type signature:
or_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:157:1: Warning:
Top-level binding with no type signature:
not_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:158:1: Warning:
Top-level binding with no type signature:
(=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:159:1: Warning:
Top-level binding with no type signature:
(/=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:160:1: Warning:
Top-level binding with no type signature:
(=>:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:161:1: Warning:
Top-level binding with no type signature:
(<:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:162:1: Warning:
Top-level binding with no type signature:
(<=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:163:1: Warning:
Top-level binding with no type signature:
(>:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:164:1: Warning:
Top-level binding with no type signature:
(>=:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:165:1: Warning:
Top-level binding with no type signature:
(+:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:166:1: Warning:
Top-level binding with no type signature:
(-:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:167:1: Warning:
Top-level binding with no type signature:
(*:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:168:1: Warning:
Top-level binding with no type signature:
(/:) :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:169:1: Warning:
Top-level binding with no type signature:
div_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:170:1: Warning:
Top-level binding with no type signature:
mod_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:171:1: Warning:
Top-level binding with no type signature:
if_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:172:1: Warning:
Top-level binding with no type signature:
ite :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:173:1: Warning:
Top-level binding with no type signature:
let_ :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:174:1: Warning:
Top-level binding with no type signature:
forall :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:175:1: Warning:
Top-level binding with no type signature:
exists :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:176:1: Warning:
Top-level binding with no type signature:
lambda :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:177:1: Warning:
Top-level binding with no type signature:
mktup :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:178:1: Warning:
Top-level binding with no type signature:
mkrec :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:179:1: Warning:
Top-level binding with no type signature:
update :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:188:1: Warning:
Top-level binding with no type signature:
select :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:194:1: Warning:
Top-level binding with no type signature:
app :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity ExpY
Math/SMT/Yices/Parser.hs:196:1: Warning:
Top-level binding with no type signature:
binding :: forall u.
Text.Parsec.Prim.ParsecT
String
u
transformers-0.2.2.1:Data.Functor.Identity.Identity
(([Char], Maybe TypY), ExpY)
Math/SMT/Yices/Parser.hs:210:1: Warning:
Top-level binding with no type signature:
deftyp :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:211:1: Warning:
Top-level binding with no type signature:
define :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:212:1: Warning:
Top-level binding with no type signature:
assert :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:213:1: Warning:
Top-level binding with no type signature:
assertp :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:214:1: Warning:
Top-level binding with no type signature:
retract :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:215:1: Warning:
Top-level binding with no type signature:
check :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:216:1: Warning:
Top-level binding with no type signature:
maxsat :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:217:1: Warning:
Top-level binding with no type signature:
sete :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:218:1: Warning:
Top-level binding with no type signature:
setv :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:219:1: Warning:
Top-level binding with no type signature:
setao :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:220:1: Warning:
Top-level binding with no type signature:
push :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:221:1: Warning:
Top-level binding with no type signature:
pop :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:222:1: Warning:
Top-level binding with no type signature:
echo :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:223:1: Warning:
Top-level binding with no type signature:
include :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:224:1: Warning:
Defined but not used: ‘reset’
Math/SMT/Yices/Parser.hs:224:1: Warning:
Top-level binding with no type signature:
reset :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:225:1: Warning:
Top-level binding with no type signature:
status :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:226:1: Warning:
Top-level binding with no type signature:
dump :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Parser.hs:227:1: Warning:
Top-level binding with no type signature:
exit :: forall st.
Text.Parsec.Prim.ParsecT
[Char] st transformers-0.2.2.1:Data.Functor.Identity.Identity CmdY
Math/SMT/Yices/Pipe.hs:47:1: Warning:
Top-level binding with no type signature: _BEGIN_OUTPUT :: [Char]
Math/SMT/Yices/Pipe.hs:48:1: Warning:
Top-level binding with no type signature: _END_OUTPUT :: [Char]
Math/SMT/Yices/Pipe.hs:50:1: Warning:
Defined but not used: ‘runCmdStringY’
Math/SMT/Yices/Pipe.hs:50:1: Warning:
Top-level binding with no type signature:
runCmdStringY :: (Maybe Handle,
Maybe Handle,
Maybe Handle,
ProcessHandle)
-> String -> IO ()
Math/SMT/Yices/Pipe.hs:52:1: Warning:
Defined but not used: ‘runCmdStringY'’
Math/SMT/Yices/Pipe.hs:52:1: Warning:
Top-level binding with no type signature:
runCmdStringY' :: forall t t1 t2.
(Maybe Handle, t, t1, t2) -> String -> IO ()
Math/SMT/Yices/Pipe.hs:93:7: Warning: Defined but not used: ‘code’
Math/SMT/Yices/Pipe.hs:104:1: Warning:
Top-level binding with no type signature:
stripYicesPrompt :: [Char] -> [Char]
Math/SMT/Yices/Pipe.hs:117:1: Warning:
Top-level binding with no type signature:
hGetOutLines :: Handle -> IO [[Char]]
Math/SMT/Yices/Pipe.hs:121:1: Warning:
Top-level binding with no type signature:
hGetLinesWhile :: (String -> Bool) -> Handle -> IO [String]
Haddock coverage:
100% ( 4 / 4) in 'Math.SMT.Yices.Syntax'
100% ( 8 / 8) in 'Math.SMT.Yices.Parser'
100% ( 11 / 11) in 'Math.SMT.Yices.Pipe'
Documentation created: dist/doc/html/yices/index.html,
dist/doc/html/yices/yices.txt
Creating package registration file: /tmp/pkgConf-yices-0.0.016255.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/yices-0.0.0.12
Registering yices-0.0.0.12...
Installed yices-0.0.0.12
Downloading improve-0.2.2...
Configuring improve-0.2.2...
Building improve-0.2.2...
Preprocessing library improve-0.2.2...
[1 of 6] Compiling Language.ImProve.Tree ( Language/ImProve/Tree.hs, dist/build/Language/ImProve/Tree.o )
[2 of 6] Compiling Language.ImProve.Core ( Language/ImProve/Core.hs, dist/build/Language/ImProve/Core.o )
[3 of 6] Compiling Language.ImProve.Code ( Language/ImProve/Code.hs, dist/build/Language/ImProve/Code.o )
[4 of 6] Compiling Language.ImProve.Verify ( Language/ImProve/Verify.hs, dist/build/Language/ImProve/Verify.o )
[5 of 6] Compiling Language.ImProve ( Language/ImProve.hs, dist/build/Language/ImProve.o )
Language/ImProve.hs:222:1: Warning:
The import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()
Language/ImProve.hs:443:10: Warning:
‘Stmt’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Language/ImProve.hs:502:10: Warning:
‘Case’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[6 of 6] Compiling Language.ImProve.Examples ( Language/ImProve/Examples.hs, dist/build/Language/ImProve/Examples.o )
In-place registering improve-0.2.2...
Running Haddock for improve-0.2.2...
Running hscolour for improve-0.2.2...
Preprocessing library improve-0.2.2...
Preprocessing library improve-0.2.2...
Language/ImProve/Core.hs:108:59:
parse error on input ‘-- ^ Theorem id depth lemmas expr’
Haddock coverage:
33% ( 1 / 3) in 'Language.ImProve.Tree'
Creating package registration file: /tmp/pkgConf-improve-0.216255.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/improve-0.2.2
Registering improve-0.2.2...
Installed improve-0.2.2
Test log
No test log was submitted for this report.