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.