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