Build #1 for cao-0.1
Package | cao-0.1 |
---|
Install | ConfigureFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | unknown |
---|---|
Compiler | ghc-7.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | yices-0.0.0.12, process-1.1.0.2, pretty-1.1.1.0, mtl-2.1.2, language-c-0.4.3, filepath-1.3.0.1, dlist-0.7.0.1, directory-1.2.0.1, containers-0.5.0.0, cmdargs-0.10.7, base-4.6.0.1, array-0.4.0.1, ConfigFile-1.1.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring HUnit-1.2.5.2... Building HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... [1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o ) [2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o ) [3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o ) [4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o ) [5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o ) In-place registering HUnit-1.2.5.2... Running Haddock for HUnit-1.2.5.2... Running hscolour for HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Haddock coverage: 100% ( 2 / 2) in 'Test.HUnit.Terminal' 86% ( 6 / 7) in 'Test.HUnit.Lang' 100% ( 33 / 33) in 'Test.HUnit.Base' 100% ( 8 / 8) in 'Test.HUnit.Text' 100% ( 3 / 3) in 'Test.HUnit' Documentation created: dist/doc/html/HUnit/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2 Registering HUnit-1.2.5.2... Installed HUnit-1.2.5.2 Configuring cmdargs-0.10.7... Building cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... [ 1 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o ) [ 2 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o ) [ 3 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o ) [ 4 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o ) [ 5 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o ) [ 6 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o ) [ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o ) [ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o ) [ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o ) [10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o ) [11 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o ) [12 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o ) [13 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o ) [14 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o ) [15 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o ) [16 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o ) Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." [17 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o ) [18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o ) [19 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o ) [20 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o ) [21 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o ) [22 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o ) [23 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o ) [24 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o ) [25 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o ) In-place registering cmdargs-0.10.7... Running Haddock for cmdargs-0.10.7... Running hscolour for cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... dist/build/tmp-21441/Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." Haddock coverage: 50% ( 1 / 2) in 'System.Console.CmdArgs.Implicit.Ann' 100% ( 21 / 21) in 'System.Console.CmdArgs.Implicit.UI' 100% ( 8 / 8) in 'System.Console.CmdArgs.Verbosity' 25% ( 2 / 8) in 'System.Console.CmdArgs.Implicit.Type' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.SplitJoin' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.ExpandArgsAt' 86% ( 24 / 28) in 'System.Console.CmdArgs.Explicit.Type' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.Process' 60% ( 3 / 5) in 'System.Console.CmdArgs.Explicit.Complete' 100% ( 8 / 8) in 'System.Console.CmdArgs.Helper' 100% ( 2 / 2) in 'System.Console.CmdArgs.Default' 100% ( 5 / 5) in 'System.Console.CmdArgs.Text' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.Help' 93% ( 43 / 46) in 'System.Console.CmdArgs.Explicit' 100% ( 8 / 8) in 'System.Console.CmdArgs.GetOpt' 4% ( 1 / 26) in 'Data.Generics.Any' 0% ( 0 / 20) in 'Data.Generics.Any.Prelude' 0% ( 0 / 3) in 'System.Console.CmdArgs.Implicit.Reader' 100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate' 9% ( 1 / 11) in 'System.Console.CmdArgs.Implicit.Local' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Reform' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Global' 100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit' 100% ( 9 / 9) in 'System.Console.CmdArgs.Quote' 100% ( 2 / 2) in 'System.Console.CmdArgs' Warning: System.Console.CmdArgs.Implicit: could not find link destinations for: System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate GHC.IO.Handle.Types.Handle__ Documentation created: dist/doc/html/cmdargs/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cmdargs-0.10.7 Registering cmdargs-0.10.7... Installed cmdargs-0.10.7 Configuring dlist-0.7.0.1... Building dlist-0.7.0.1... Preprocessing library dlist-0.7.0.1... [1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o ) In-place registering dlist-0.7.0.1... Running Haddock for dlist-0.7.0.1... Running hscolour for dlist-0.7.0.1... Preprocessing library dlist-0.7.0.1... Preprocessing library dlist-0.7.0.1... Haddock coverage: 100% ( 20 / 20) in 'Data.DList' Documentation created: dist/doc/html/dlist/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dlist-0.7.0.1 Registering dlist-0.7.0.1... Installed dlist-0.7.0.1 Configuring hslogger-1.2.3... Building hslogger-1.2.3... Preprocessing library hslogger-1.2.3... [1 of 8] Compiling System.Log ( src/System/Log.hs, dist/build/System/Log.o ) [2 of 8] Compiling System.Log.Formatter ( src/System/Log/Formatter.hs, dist/build/System/Log/Formatter.o ) [3 of 8] Compiling System.Log.Handler ( src/System/Log/Handler.hs, dist/build/System/Log/Handler.o ) [4 of 8] Compiling System.Log.Handler.Simple ( src/System/Log/Handler/Simple.hs, dist/build/System/Log/Handler/Simple.o ) [5 of 8] Compiling System.Log.Handler.Syslog ( src/System/Log/Handler/Syslog.hs, dist/build/System/Log/Handler/Syslog.o ) [6 of 8] Compiling System.Log.Handler.Growl ( src/System/Log/Handler/Growl.hs, dist/build/System/Log/Handler/Growl.o ) [7 of 8] Compiling System.Log.Handler.Log4jXML ( src/System/Log/Handler/Log4jXML.hs, dist/build/System/Log/Handler/Log4jXML.o ) [8 of 8] Compiling System.Log.Logger ( src/System/Log/Logger.hs, dist/build/System/Log/Logger.o ) In-place registering hslogger-1.2.3... Running Haddock for hslogger-1.2.3... Running hscolour for hslogger-1.2.3... Preprocessing library hslogger-1.2.3... Preprocessing library hslogger-1.2.3... Haddock coverage: 100% ( 4 / 4) in 'System.Log' 100% ( 6 / 6) in 'System.Log.Formatter' 100% ( 3 / 3) in 'System.Log.Handler' 100% ( 5 / 5) in 'System.Log.Handler.Simple' 100% ( 10 / 10) in 'System.Log.Handler.Syslog' 100% ( 3 / 3) in 'System.Log.Handler.Growl' 100% ( 17 / 17) in 'System.Log.Handler.Log4jXML' 97% ( 37 / 38) in 'System.Log.Logger' Warning: System.Log.Handler.Syslog: could not find link destinations for: System.Log.Handler.Syslog.SyslogHandler Warning: System.Log.Handler.Growl: could not find link destinations for: System.Log.Handler.Growl.GrowlHandler Documentation created: dist/doc/html/hslogger/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hslogger-1.2.3 Registering hslogger-1.2.3... Installed hslogger-1.2.3 Configuring regex-base-0.93.2... Building regex-base-0.93.2... Preprocessing library regex-base-0.93.2... [1 of 4] Compiling Text.Regex.Base.RegexLike ( Text/Regex/Base/RegexLike.hs, dist/build/Text/Regex/Base/RegexLike.o ) [2 of 4] Compiling Text.Regex.Base.Context ( Text/Regex/Base/Context.hs, dist/build/Text/Regex/Base/Context.o ) [3 of 4] Compiling Text.Regex.Base ( Text/Regex/Base.hs, dist/build/Text/Regex/Base.o ) [4 of 4] Compiling Text.Regex.Base.Impl ( Text/Regex/Base/Impl.hs, dist/build/Text/Regex/Base/Impl.o ) In-place registering regex-base-0.93.2... Running Haddock for regex-base-0.93.2... Running hscolour for regex-base-0.93.2... Preprocessing library regex-base-0.93.2... Preprocessing library regex-base-0.93.2... Haddock coverage: 94% ( 17 / 18) in 'Text.Regex.Base.RegexLike' 100% ( 1 / 1) in 'Text.Regex.Base.Context' 75% ( 3 / 4) in 'Text.Regex.Base' 33% ( 1 / 3) in 'Text.Regex.Base.Impl' Documentation created: dist/doc/html/regex-base/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-base-0.93.2 Registering regex-base-0.93.2... Installed regex-base-0.93.2 Configuring syb-0.4.1... Building syb-0.4.1... Preprocessing library syb-0.4.1... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) In-place registering syb-0.4.1... Running Haddock for syb-0.4.1... Running hscolour for syb-0.4.1... Preprocessing library syb-0.4.1... Preprocessing library syb-0.4.1... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 16 / 16) in 'Data.Generics.Twins' 100% ( 2 / 2) in 'Generics.SYB.Twins' 100% ( 3 / 3) in 'Data.Generics.Builders' 100% ( 2 / 2) in 'Generics.SYB.Builders' 100% ( 2 / 2) in 'Generics.SYB.Aliases' 100% ( 8 / 8) in 'Data.Generics' 100% ( 2 / 2) in 'Generics.SYB' Documentation created: dist/doc/html/syb/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1 Registering syb-0.4.1... Installed syb-0.4.1 Downloading yices-0.0.0.12... 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 a, Show a1) => ((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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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. (Num a, Text.Parsec.Prim.Stream s m Char) => 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: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: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0:Data.Functor.Identity.Identity ([Char], TypY) 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:129:1: Warning: Top-level binding with no type signature: idex :: forall u. Text.Parsec.Prim.ParsecT String u transformers-0.3.0.0:Data.Functor.Identity.Identity ([Char], ExpY) 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:143:1: Warning: Top-level binding with no type signature: expYinParen :: forall u. Text.Parsec.Prim.ParsecT [Char] u transformers-0.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0:Data.Functor.Identity.Identity ExpY 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:1: Warning: Top-level binding with no type signature: select :: forall st. Text.Parsec.Prim.ParsecT [Char] st transformers-0.3.0.0:Data.Functor.Identity.Identity ExpY 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 _ 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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0: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.3.0.0:Data.Functor.Identity.Identity CmdY [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: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, _, _) 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] 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... dist/build/tmp-21441/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() dist/build/tmp-21441/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() dist/build/tmp-21441/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() dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:102:1: Warning: Top-level binding with no type signature: space :: ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:110:1: Warning: Top-level binding with no type signature: showStringsSepBy :: String -> [String] -> ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:117:1: Warning: Top-level binding with no type signature: showCtorDef :: forall a. Show a => (String, [(String, a)]) -> ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:120:1: Warning: Top-level binding with no type signature: showBinding :: forall a a1. (Show a, Show a1) => ((String, Maybe a), a1) -> ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:127:1: Warning: Top-level binding with no type signature: showTypY :: TypY -> ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:143:1: Warning: Top-level binding with no type signature: showExpY :: ExpY -> ShowS dist/build/tmp-21441/Math/SMT/Yices/Syntax.hs:193:1: Warning: Top-level binding with no type signature: showCmdY :: CmdY -> ShowS dist/build/tmp-21441/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() dist/build/tmp-21441/Math/SMT/Yices/Parser.hs:49:1: Warning: Top-level binding with no type signature: tp :: forall u. T.GenTokenParser String u transformers-0.3.0.0:Data.Functor.Identity.Identity dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity String dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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] dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity Char dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity Char dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity [Char] dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity [Char] dist/build/tmp-21441/Math/SMT/Yices/Parser.hs:71:1: Warning: Top-level binding with no type signature: neg :: forall s u (m :: * -> *) a. (Num a, Text.Parsec.Prim.Stream s m Char) => Text.Parsec.Prim.ParsecT s u m (a -> a) dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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) dist/build/tmp-21441/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) dist/build/tmp-21441/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) dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/Math/SMT/Yices/Parser.hs:99:1: Warning: Top-level binding with no type signature: tok :: forall st. String -> GenParser Char st String dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity TypY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ([Char], [([Char], TypY)]) dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ([Char], TypY) dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ([Char], ExpY) dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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 dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity ExpY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity (([Char], Maybe TypY), ExpY) dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/Math/SMT/Yices/Parser.hs:224:1: Warning: Defined but not used: `reset' dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/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.3.0.0:Data.Functor.Identity.Identity CmdY dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:47:1: Warning: Top-level binding with no type signature: _BEGIN_OUTPUT :: [Char] dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:48:1: Warning: Top-level binding with no type signature: _END_OUTPUT :: [Char] dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:50:1: Warning: Defined but not used: `runCmdStringY' dist/build/tmp-21441/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 () dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:52:1: Warning: Defined but not used: runCmdStringY' dist/build/tmp-21441/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 () dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:93:7: Warning: Defined but not used: `code' dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:104:1: Warning: Top-level binding with no type signature: stripYicesPrompt :: [Char] -> [Char] dist/build/tmp-21441/Math/SMT/Yices/Pipe.hs:117:1: Warning: Top-level binding with no type signature: hGetOutLines :: Handle -> IO [[Char]] dist/build/tmp-21441/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 Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/yices-0.0.0.12 Registering yices-0.0.0.12... Installed yices-0.0.0.12 Configuring regex-posix-0.95.2... Building regex-posix-0.95.2... Preprocessing library regex-posix-0.95.2... [1 of 6] Compiling Text.Regex.Posix.Wrap ( dist/build/Text/Regex/Posix/Wrap.hs, dist/build/Text/Regex/Posix/Wrap.o ) [2 of 6] Compiling Text.Regex.Posix.String ( Text/Regex/Posix/String.hs, dist/build/Text/Regex/Posix/String.o ) [3 of 6] Compiling Text.Regex.Posix.Sequence ( Text/Regex/Posix/Sequence.hs, dist/build/Text/Regex/Posix/Sequence.o ) [4 of 6] Compiling Text.Regex.Posix.ByteString ( Text/Regex/Posix/ByteString.hs, dist/build/Text/Regex/Posix/ByteString.o ) [5 of 6] Compiling Text.Regex.Posix.ByteString.Lazy ( Text/Regex/Posix/ByteString/Lazy.hs, dist/build/Text/Regex/Posix/ByteString/Lazy.o ) [6 of 6] Compiling Text.Regex.Posix ( Text/Regex/Posix.hs, dist/build/Text/Regex/Posix.o ) In-place registering regex-posix-0.95.2... Running Haddock for regex-posix-0.95.2... Running hscolour for regex-posix-0.95.2... Preprocessing library regex-posix-0.95.2... Preprocessing library regex-posix-0.95.2... Haddock coverage: 40% ( 17 / 42) in 'Text.Regex.Posix.Wrap' 68% ( 17 / 25) in 'Text.Regex.Posix.String' 67% ( 16 / 24) in 'Text.Regex.Posix.Sequence' 68% ( 17 / 25) in 'Text.Regex.Posix.ByteString' 68% ( 17 / 25) in 'Text.Regex.Posix.ByteString.Lazy' 80% ( 4 / 5) in 'Text.Regex.Posix' Warning: Text.Regex.Posix.Wrap: could not find link destinations for: Text.Regex.Posix.Wrap.retNoMatch Warning: Text.Regex.Posix.String: could not find link destinations for: Text.Regex.Posix.Wrap.retNoMatch Warning: Text.Regex.Posix.Sequence: could not find link destinations for: Text.Regex.Posix.Wrap.retNoMatch Warning: Text.Regex.Posix.ByteString: could not find link destinations for: Text.Regex.Posix.Wrap.retNoMatch Warning: Text.Regex.Posix.ByteString.Lazy: could not find link destinations for: Text.Regex.Posix.Wrap.retNoMatch Documentation created: dist/doc/html/regex-posix/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-posix-0.95.2 Registering regex-posix-0.95.2... Installed regex-posix-0.95.2 Configuring language-c-0.4.3... Building language-c-0.4.3... Preprocessing library language-c-0.4.3... [ 1 of 39] Compiling Language.C.Data.RList ( src/Language/C/Data/RList.hs, dist/build/Language/C/Data/RList.o ) [ 2 of 39] Compiling Language.C.Syntax.Ops ( src/Language/C/Syntax/Ops.hs, dist/build/Language/C/Syntax/Ops.o ) [ 3 of 39] Compiling Language.C.Data.Position ( src/Language/C/Data/Position.hs, dist/build/Language/C/Data/Position.o ) [ 4 of 39] Compiling Language.C.Data.Name ( src/Language/C/Data/Name.hs, dist/build/Language/C/Data/Name.o ) [ 5 of 39] Compiling Language.C.Data.Node ( src/Language/C/Data/Node.hs, dist/build/Language/C/Data/Node.o ) [ 6 of 39] Compiling Language.C.Syntax.Constants ( src/Language/C/Syntax/Constants.hs, dist/build/Language/C/Syntax/Constants.o ) [ 7 of 39] Compiling Language.C.Data.Ident ( src/Language/C/Data/Ident.hs, dist/build/Language/C/Data/Ident.o ) [ 8 of 39] Compiling Language.C.Syntax.AST ( src/Language/C/Syntax/AST.hs, dist/build/Language/C/Syntax/AST.o ) [ 9 of 39] Compiling Language.C.Syntax.Utils ( src/Language/C/Syntax/Utils.hs, dist/build/Language/C/Syntax/Utils.o ) [10 of 39] Compiling Language.C.Parser.Builtin ( src/Language/C/Parser/Builtin.hs, dist/build/Language/C/Parser/Builtin.o ) [11 of 39] Compiling Language.C.Analysis.NameSpaceMap ( src/Language/C/Analysis/NameSpaceMap.hs, dist/build/Language/C/Analysis/NameSpaceMap.o ) [12 of 39] Compiling Language.C.Parser.Tokens ( src/Language/C/Parser/Tokens.hs, dist/build/Language/C/Parser/Tokens.o ) [13 of 39] Compiling Language.C.Data.Error ( src/Language/C/Data/Error.hs, dist/build/Language/C/Data/Error.o ) src/Language/C/Data/Error.hs:152:53: Warning: In the use of `posColumn' (imported from Language.C.Data.Position): Deprecated: "column number information is inaccurate in presence of macros - do not rely on it." [14 of 39] Compiling Language.C.Data.InputStream ( src/Language/C/Data/InputStream.hs, dist/build/Language/C/Data/InputStream.o ) [15 of 39] Compiling Language.C.Parser.ParserMonad ( src/Language/C/Parser/ParserMonad.hs, dist/build/Language/C/Parser/ParserMonad.o ) [16 of 39] Compiling Language.C.Parser.Lexer ( dist/build/Language/C/Parser/Lexer.hs, dist/build/Language/C/Parser/Lexer.o ) [17 of 39] Compiling Language.C.System.Preprocess ( src/Language/C/System/Preprocess.hs, dist/build/Language/C/System/Preprocess.o ) [18 of 39] Compiling Language.C.System.GCC ( src/Language/C/System/GCC.hs, dist/build/Language/C/System/GCC.o ) [19 of 39] Compiling Language.C.Syntax ( src/Language/C/Syntax.hs, dist/build/Language/C/Syntax.o ) [20 of 39] Compiling Language.C.Parser.Parser ( dist/build/Language/C/Parser/Parser.hs, dist/build/Language/C/Parser/Parser.o ) [21 of 39] Compiling Language.C.Data ( src/Language/C/Data.hs, dist/build/Language/C/Data.o ) [22 of 39] Compiling Language.C.Pretty ( src/Language/C/Pretty.hs, dist/build/Language/C/Pretty.o ) [23 of 39] Compiling Language.C.Parser ( src/Language/C/Parser.hs, dist/build/Language/C/Parser.o ) [24 of 39] Compiling Language.C.Analysis.SemRep ( src/Language/C/Analysis/SemRep.hs, dist/build/Language/C/Analysis/SemRep.o ) [25 of 39] Compiling Language.C.Analysis.SemError ( src/Language/C/Analysis/SemError.hs, dist/build/Language/C/Analysis/SemError.o ) [26 of 39] Compiling Language.C.Analysis.TypeUtils ( src/Language/C/Analysis/TypeUtils.hs, dist/build/Language/C/Analysis/TypeUtils.o ) [27 of 39] Compiling Language.C.Analysis.TypeConversions ( src/Language/C/Analysis/TypeConversions.hs, dist/build/Language/C/Analysis/TypeConversions.o ) [28 of 39] Compiling Language.C.Analysis.Export ( src/Language/C/Analysis/Export.hs, dist/build/Language/C/Analysis/Export.o ) [29 of 39] Compiling Language.C.Analysis.DefTable ( src/Language/C/Analysis/DefTable.hs, dist/build/Language/C/Analysis/DefTable.o ) [30 of 39] Compiling Language.C.Analysis.Debug ( src/Language/C/Analysis/Debug.hs, dist/build/Language/C/Analysis/Debug.o ) [31 of 39] Compiling Language.C.Analysis.Builtins ( src/Language/C/Analysis/Builtins.hs, dist/build/Language/C/Analysis/Builtins.o ) [32 of 39] Compiling Language.C.Analysis.TravMonad ( src/Language/C/Analysis/TravMonad.hs, dist/build/Language/C/Analysis/TravMonad.o ) [33 of 39] Compiling Language.C.Analysis.AstAnalysis[boot] ( src/Language/C/Analysis/AstAnalysis.hs-boot, dist/build/Language/C/Analysis/AstAnalysis.o-boot ) [34 of 39] Compiling Language.C.Analysis.DeclAnalysis ( src/Language/C/Analysis/DeclAnalysis.hs, dist/build/Language/C/Analysis/DeclAnalysis.o ) [35 of 39] Compiling Language.C.Analysis.TypeCheck ( src/Language/C/Analysis/TypeCheck.hs, dist/build/Language/C/Analysis/TypeCheck.o ) [36 of 39] Compiling Language.C.Analysis.ConstEval ( src/Language/C/Analysis/ConstEval.hs, dist/build/Language/C/Analysis/ConstEval.o ) [37 of 39] Compiling Language.C.Analysis.AstAnalysis ( src/Language/C/Analysis/AstAnalysis.hs, dist/build/Language/C/Analysis/AstAnalysis.o ) [38 of 39] Compiling Language.C.Analysis ( src/Language/C/Analysis.hs, dist/build/Language/C/Analysis.o ) [39 of 39] Compiling Language.C ( src/Language/C.hs, dist/build/Language/C.o ) In-place registering language-c-0.4.3... Running Haddock for language-c-0.4.3... Running hscolour for language-c-0.4.3... Preprocessing library language-c-0.4.3... Preprocessing library language-c-0.4.3... src/Language/C/Data/Error.hs:152:53: Warning: In the use of `posColumn' (imported from Language.C.Data.Position): Deprecated: "column number information is inaccurate in presence of macros - do not rely on it." Haddock coverage: 8% ( 1 / 12) in 'Language.C.Data.RList' 54% ( 7 / 13) in 'Language.C.Syntax.Ops' 100% ( 21 / 21) in 'Language.C.Data.Position' 100% ( 4 / 4) in 'Language.C.Data.Name' 75% ( 12 / 16) in 'Language.C.Data.Node' 57% ( 21 / 37) in 'Language.C.Syntax.Constants' 100% ( 11 / 11) in 'Language.C.Data.Ident' 62% ( 43 / 69) in 'Language.C.Syntax.AST' 29% ( 2 / 7) in 'Language.C.Syntax.Utils' 50% ( 1 / 2) in 'Language.C.Parser.Builtin' 71% ( 12 / 17) in 'Language.C.Analysis.NameSpaceMap' 25% ( 1 / 4) in 'Language.C.Parser.Tokens' 79% ( 19 / 24) in 'Language.C.Data.Error' 90% ( 9 / 10) in 'Language.C.Data.InputStream' 20% ( 4 / 20) in 'Language.C.Parser.ParserMonad' 0% ( 0 / 3) in 'Language.C.Parser.Lexer' 100% ( 9 / 9) in 'Language.C.System.Preprocess' 100% ( 3 / 3) in 'Language.C.System.GCC' 100% ( 5 / 5) in 'Language.C.Syntax' 88% ( 7 / 8) in 'Language.C.Parser.Parser' 89% ( 33 / 37) in 'Language.C.Data' 100% ( 5 / 5) in 'Language.C.Pretty' 80% ( 12 / 15) in 'Language.C.Parser' 91% ( 69 / 76) in 'Language.C.Analysis.SemRep' 36% ( 4 / 11) in 'Language.C.Analysis.SemError' 81% ( 26 / 32) in 'Language.C.Analysis.TypeUtils' 25% ( 1 / 4) in 'Language.C.Analysis.TypeConversions' 25% ( 3 / 12) in 'Language.C.Analysis.Export' 84% ( 27 / 32) in 'Language.C.Analysis.DefTable' 25% ( 1 / 4) in 'Language.C.Analysis.Debug' 0% ( 0 / 2) in 'Language.C.Analysis.Builtins' 49% ( 28 / 57) in 'Language.C.Analysis.TravMonad' 43% ( 12 / 28) in 'Language.C.Analysis.DeclAnalysis' 26% ( 9 / 35) in 'Language.C.Analysis.TypeCheck' 0% ( 0 / 12) in 'Language.C.Analysis.ConstEval' 56% ( 9 / 16) in 'Language.C.Analysis.AstAnalysis' 100% ( 13 / 13) in 'Language.C.Analysis' 100% ( 7 / 7) in 'Language.C' Documentation created: dist/doc/html/language-c/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/language-c-0.4.3 Registering language-c-0.4.3... Installed language-c-0.4.3 Configuring regex-compat-0.95.1... Building regex-compat-0.95.1... Preprocessing library regex-compat-0.95.1... [1 of 1] Compiling Text.Regex ( Text/Regex.hs, dist/build/Text/Regex.o ) In-place registering regex-compat-0.95.1... Running Haddock for regex-compat-0.95.1... Running hscolour for regex-compat-0.95.1... Preprocessing library regex-compat-0.95.1... Preprocessing library regex-compat-0.95.1... Haddock coverage: 100% ( 9 / 9) in 'Text.Regex' Documentation created: dist/doc/html/regex-compat/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-compat-0.95.1 Registering regex-compat-0.95.1... Installed regex-compat-0.95.1 Configuring MissingH-1.2.1.0... Building MissingH-1.2.1.0... Preprocessing library MissingH-1.2.1.0... [ 1 of 47] Compiling System.Console.GetOpt.Utils ( src/System/Console/GetOpt/Utils.hs, dist/build/System/Console/GetOpt/Utils.o ) [ 2 of 47] Compiling System.Debian ( src/System/Debian.hs, dist/build/System/Debian.o ) [ 3 of 47] Compiling System.IO.WindowsCompat ( src/System/IO/WindowsCompat.hs, dist/build/System/IO/WindowsCompat.o ) [ 4 of 47] Compiling System.Posix.Consts ( src/System/Posix/Consts.hs, dist/build/System/Posix/Consts.o ) [ 5 of 47] Compiling System.IO.StatCompat ( src/System/IO/StatCompat.hs, dist/build/System/IO/StatCompat.o ) [ 6 of 47] Compiling System.IO.PlafCompat ( src/System/IO/PlafCompat.hs, dist/build/System/IO/PlafCompat.o ) [ 7 of 47] Compiling Data.Compression.Inflate ( src/Data/Compression/Inflate.hs, dist/build/Data/Compression/Inflate.o ) [ 8 of 47] Compiling Data.Hash.MD5.Zord64_HARD ( src/Data/Hash/MD5/Zord64_HARD.lhs, dist/build/Data/Hash/MD5/Zord64_HARD.o ) src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `*' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `abs' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `signum' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `xor' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `bit' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `testBit' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `bitSize' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `isSigned' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `popCount' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:43:12: Warning: No explicit method or default declaration for `quotRem' In the instance declaration for `Integral Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:46:12: Warning: No explicit method or default declaration for `toRational' In the instance declaration for `Real Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning: No explicit method or default declaration for `toEnum' In the instance declaration for `Enum Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning: No explicit method or default declaration for `fromEnum' In the instance declaration for `Enum Zord64' [ 9 of 47] Compiling Data.Hash.MD5 ( src/Data/Hash/MD5.lhs, dist/build/Data/Hash/MD5.o ) src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `*' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `abs' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `signum' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `fromInteger' In the instance declaration for `Num ABCD' [10 of 47] Compiling Data.Hash.CRC32.GZip ( src/Data/Hash/CRC32/GZip.hs, dist/build/Data/Hash/CRC32/GZip.o ) [11 of 47] Compiling Data.Hash.CRC32.Posix ( src/Data/Hash/CRC32/Posix.hs, dist/build/Data/Hash/CRC32/Posix.o ) [12 of 47] Compiling Data.Bits.Utils ( src/Data/Bits/Utils.hs, dist/build/Data/Bits/Utils.o ) [13 of 47] Compiling System.FileArchive.GZip ( src/System/FileArchive/GZip.hs, dist/build/System/FileArchive/GZip.o ) [14 of 47] Compiling Data.Tuple.Utils ( src/Data/Tuple/Utils.hs, dist/build/Data/Tuple/Utils.o ) [15 of 47] Compiling Data.Maybe.Utils ( src/Data/Maybe/Utils.hs, dist/build/Data/Maybe/Utils.o ) [16 of 47] Compiling Data.Either.Utils ( src/Data/Either/Utils.hs, dist/build/Data/Either/Utils.o ) [17 of 47] Compiling Network.Utils ( src/Network/Utils.hs, dist/build/Network/Utils.o ) [18 of 47] Compiling Network.SocketServer ( src/Network/SocketServer.hs, dist/build/Network/SocketServer.o ) [19 of 47] Compiling System.Time.ParseDate ( src/System/Time/ParseDate.hs, dist/build/System/Time/ParseDate.o ) [20 of 47] Compiling System.Path.NameManip ( src/System/Path/NameManip.hs, dist/build/System/Path/NameManip.o ) [21 of 47] Compiling Data.Quantity ( src/Data/Quantity.hs, dist/build/Data/Quantity.o ) [22 of 47] Compiling System.Time.Utils ( src/System/Time/Utils.hs, dist/build/System/Time/Utils.o ) [23 of 47] Compiling Data.Progress.Tracker ( src/Data/Progress/Tracker.hs, dist/build/Data/Progress/Tracker.o ) [24 of 47] Compiling Data.BinPacking ( src/Data/BinPacking.hs, dist/build/Data/BinPacking.o ) [25 of 47] Compiling Data.CSV ( src/Data/CSV.hs, dist/build/Data/CSV.o ) [26 of 47] Compiling System.Cmd.Utils ( src/System/Cmd/Utils.hs, dist/build/System/Cmd/Utils.o ) [27 of 47] Compiling Network.Email.Sendmail ( src/Network/Email/Sendmail.hs, dist/build/Network/Email/Sendmail.o ) [28 of 47] Compiling Control.Concurrent.Thread.Utils ( src/Control/Concurrent/Thread/Utils.hs, dist/build/Control/Concurrent/Thread/Utils.o ) [29 of 47] Compiling Network.Email.Mailbox ( src/Network/Email/Mailbox.hs, dist/build/Network/Email/Mailbox.o ) [30 of 47] Compiling Text.ParserCombinators.Parsec.Utils ( src/Text/ParserCombinators/Parsec/Utils.hs, dist/build/Text/ParserCombinators/Parsec/Utils.o ) [31 of 47] Compiling System.Daemon ( src/System/Daemon.hs, dist/build/System/Daemon.o ) [32 of 47] Compiling System.IO.HVIO ( src/System/IO/HVIO.hs, dist/build/System/IO/HVIO.o ) [33 of 47] Compiling System.IO.HVFS ( src/System/IO/HVFS.hs, dist/build/System/IO/HVFS.o ) [34 of 47] Compiling System.IO.Binary ( src/System/IO/Binary.hs, dist/build/System/IO/Binary.o ) [35 of 47] Compiling System.IO.HVFS.Utils ( src/System/IO/HVFS/Utils.hs, dist/build/System/IO/HVFS/Utils.o ) [36 of 47] Compiling System.IO.Utils ( src/System/IO/Utils.hs, dist/build/System/IO/Utils.o ) [37 of 47] Compiling Data.List.Utils ( src/Data/List/Utils.hs, dist/build/Data/List/Utils.o ) [38 of 47] Compiling Data.Map.Utils ( src/Data/Map/Utils.hs, dist/build/Data/Map/Utils.o ) [39 of 47] Compiling System.Path ( src/System/Path.hs, dist/build/System/Path.o ) [40 of 47] Compiling System.IO.HVFS.InstanceHelpers ( src/System/IO/HVFS/InstanceHelpers.hs, dist/build/System/IO/HVFS/InstanceHelpers.o ) [41 of 47] Compiling System.IO.HVFS.Combinators ( src/System/IO/HVFS/Combinators.hs, dist/build/System/IO/HVFS/Combinators.o ) [42 of 47] Compiling Data.MIME.Types ( src/Data/MIME/Types.hs, dist/build/Data/MIME/Types.o ) [43 of 47] Compiling Data.String.Utils ( src/Data/String/Utils.hs, dist/build/Data/String/Utils.o ) [44 of 47] Compiling Data.Progress.Meter ( src/Data/Progress/Meter.hs, dist/build/Data/Progress/Meter.o ) [45 of 47] Compiling System.Path.WildMatch ( src/System/Path/WildMatch.hs, dist/build/System/Path/WildMatch.o ) [46 of 47] Compiling System.Path.Glob ( src/System/Path/Glob.hs, dist/build/System/Path/Glob.o ) [47 of 47] Compiling System.Debian.ControlParser ( src/System/Debian/ControlParser.hs, dist/build/System/Debian/ControlParser.o ) In-place registering MissingH-1.2.1.0... Running Haddock for MissingH-1.2.1.0... Running hscolour for MissingH-1.2.1.0... Preprocessing library MissingH-1.2.1.0... Preprocessing library MissingH-1.2.1.0... src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `*' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `abs' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning: No explicit method or default declaration for `signum' In the instance declaration for `Num Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `xor' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `bit' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `testBit' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `bitSize' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `isSigned' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning: No explicit method or default declaration for `popCount' In the instance declaration for `Bits Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:43:12: Warning: No explicit method or default declaration for `quotRem' In the instance declaration for `Integral Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:46:12: Warning: No explicit method or default declaration for `toRational' In the instance declaration for `Real Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning: No explicit method or default declaration for `toEnum' In the instance declaration for `Enum Zord64' src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning: No explicit method or default declaration for `fromEnum' In the instance declaration for `Enum Zord64' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `*' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `abs' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `signum' In the instance declaration for `Num ABCD' src/Data/Hash/MD5.lhs:114:12: Warning: No explicit method or default declaration for `fromInteger' In the instance declaration for `Num ABCD' Haddock coverage: 100% ( 6 / 6) in 'System.Console.GetOpt.Utils' 86% ( 6 / 7) in 'System.Debian' 100% ( 1 / 1) in 'System.IO.WindowsCompat' 11% ( 1 / 9) in 'System.Posix.Consts' 10% ( 1 / 10) in 'System.IO.StatCompat' 100% ( 4 / 4) in 'System.IO.PlafCompat' 29% ( 2 / 7) in 'Data.Compression.Inflate' 0% ( 0 / 2) in 'Data.Hash.MD5.Zord64_HARD' 50% ( 5 / 10) in 'Data.Hash.MD5' 20% ( 1 / 5) in 'Data.Hash.CRC32.GZip' 20% ( 1 / 5) in 'Data.Hash.CRC32.Posix' 100% ( 7 / 7) in 'Data.Bits.Utils' 93% ( 14 / 15) in 'System.FileArchive.GZip' 100% ( 5 / 5) in 'Data.Tuple.Utils' 100% ( 3 / 3) in 'Data.Maybe.Utils' 100% ( 8 / 8) in 'Data.Either.Utils' 33% ( 2 / 6) in 'Network.Utils' 94% ( 16 / 17) in 'Network.SocketServer' 100% ( 2 / 2) in 'System.Time.ParseDate' 100% ( 22 / 22) in 'System.Path.NameManip' 100% ( 10 / 10) in 'Data.Quantity' 100% ( 9 / 9) in 'System.Time.Utils' Warning: Data.Progress.Tracker: withStatus is exported separately but will be documented under ProgressStatuses. Consider exporting it together with its parent(s) for code clarity. 96% ( 26 / 27) in 'Data.Progress.Tracker' 100% ( 5 / 5) in 'Data.BinPacking' 100% ( 3 / 3) in 'Data.CSV' 95% ( 20 / 21) in 'System.Cmd.Utils' 100% ( 2 / 2) in 'Network.Email.Sendmail' 100% ( 3 / 3) in 'Control.Concurrent.Thread.Utils' 83% ( 5 / 6) in 'Network.Email.Mailbox' 86% ( 12 / 14) in 'Text.ParserCombinators.Parsec.Utils' 100% ( 2 / 2) in 'System.Daemon' 100% ( 18 / 18) in 'System.IO.HVIO' 57% ( 12 / 21) in 'System.IO.HVFS' 100% ( 29 / 29) in 'System.IO.Binary' 83% ( 5 / 6) in 'System.IO.HVFS.Utils' 100% ( 23 / 23) in 'System.IO.Utils' 100% ( 42 / 42) in 'Data.List.Utils' 100% ( 8 / 8) in 'Data.Map.Utils' 100% ( 14 / 14) in 'System.Path' 100% ( 14 / 14) in 'System.IO.HVFS.InstanceHelpers' 100% ( 5 / 5) in 'System.IO.HVFS.Combinators' 92% ( 11 / 12) in 'Data.MIME.Types' 100% ( 18 / 18) in 'Data.String.Utils' 94% ( 16 / 17) in 'Data.Progress.Meter' 100% ( 4 / 4) in 'System.Path.WildMatch' 100% ( 3 / 3) in 'System.Path.Glob' 100% ( 3 / 3) in 'System.Debian.ControlParser' Warning: System.IO.Binary: could not find link destinations for: System.IO.Binary.hPutBlocks Warning: Data.Progress.Meter: could not find link destinations for: Data.Progress.Meter.ProgressMeterR Documentation created: dist/doc/html/MissingH/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/MissingH-1.2.1.0 Registering MissingH-1.2.1.0... Installed MissingH-1.2.1.0 Configuring ConfigFile-1.1.1... Building ConfigFile-1.1.1... Preprocessing library ConfigFile-1.1.1... [1 of 5] Compiling Data.ConfigFile.Lexer ( src/Data/ConfigFile/Lexer.hs, dist/build/Data/ConfigFile/Lexer.o ) src/Data/ConfigFile/Lexer.hs:58:22: Warning: A do-notation statement discarded a result of type String. Suppress this warning by saying "_ <- eol", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Lexer.hs:65:19: Warning: A do-notation statement discarded a result of type Char. Suppress this warning by saying "_ <- (<?>) comment_chars "start of comment"", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Lexer.hs:66:19: Warning: A do-notation statement discarded a result of type [Char]. Suppress this warning by saying "_ <- (<?>) (($) many noneOf "\r") "content of comment"", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Lexer.hs:71:17: Warning: A do-notation statement discarded a result of type [Char]. Suppress this warning by saying "_ <- many (whitespace_chars)", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Lexer.hs:77:17: 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 src/Data/ConfigFile/Lexer.hs:79:17: 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 src/Data/ConfigFile/Lexer.hs:88:21: Warning: A do-notation statement discarded a result of type [Char]. Suppress this warning by saying "_ <- many1 (whitespace_chars)", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Lexer.hs:99:43: Warning: A do-notation statement discarded a result of type Char. Suppress this warning by saying "_ <- optionsep", or by using the flag -fno-warn-unused-do-bind [2 of 5] Compiling Data.ConfigFile.Types ( src/Data/ConfigFile/Types.hs, dist/build/Data/ConfigFile/Types.o ) src/Data/ConfigFile/Types.hs:43: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() [3 of 5] Compiling Data.ConfigFile.Parser ( src/Data/ConfigFile/Parser.hs, dist/build/Data/ConfigFile/Parser.o ) src/Data/ConfigFile/Parser.hs:139:13: Warning: A do-notation statement discarded a result of type String. Suppress this warning by saying "_ <- string "%("", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Parser.hs:141:13: Warning: A do-notation statement discarded a result of type String. Suppress this warning by saying "_ <- (<?>) string ")s" "end of interpolation name"", or by using the flag -fno-warn-unused-do-bind src/Data/ConfigFile/Parser.hs:146:14: Warning: A do-notation statement discarded a result of type String. Suppress this warning by saying "_ <- string "%%"", or by using the flag -fno-warn-unused-do-bind [4 of 5] Compiling Data.ConfigFile ( src/Data/ConfigFile.hs, dist/build/Data/ConfigFile.o ) src/Data/ConfigFile.hs:112:1: Warning: The import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() [5 of 5] Compiling Data.ConfigFile.Monadic ( src/Data/ConfigFile/Monadic.hs, dist/build/Data/ConfigFile/Monadic.o ) In-place registering ConfigFile-1.1.1... Running Haddock for ConfigFile-1.1.1... Running hscolour for ConfigFile-1.1.1... Preprocessing library ConfigFile-1.1.1... Preprocessing library ConfigFile-1.1.1... dist/build/tmp-21441/src/Data/ConfigFile/Types.hs:43: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() dist/build/tmp-21441/src/Data/ConfigFile.hs:112:1: Warning: The import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() Haddock coverage: 33% ( 1 / 3) in 'Data.ConfigFile.Lexer' 100% ( 9 / 9) in 'Data.ConfigFile.Types' 33% ( 2 / 6) in 'Data.ConfigFile.Parser' Cannot find documentation for: $initialization 100% ( 60 / 60) in 'Data.ConfigFile' Warning: ConfigFile-1.1.1:Data.ConfigFile.Monadic: Could not find documentation for exported module: Reexporting 12% ( 2 / 17) in 'Data.ConfigFile.Monadic' Documentation created: dist/doc/html/ConfigFile/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ConfigFile-1.1.1 Registering ConfigFile-1.1.1... Installed ConfigFile-1.1.1 Downloading cao-0.1... Configuring cao-0.1... cabal: The program alex version ==3.0.5 is required but the version found at /usr/bin/alex is version 3.0.1 Failed to install cao-0.1 cabal: Error: some packages failed to install: cao-0.1 failed during the configure step. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.