Build #8 for cao-0.1
| Package | cao-0.1 |
|---|
| Install | DependencyFailed yices-0.0.0.12 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-15 18:58:03.955637 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ConfigFile-1.1.4, array-0.5.1.1, base-4.9.0.0, cmdargs-0.10.14, containers-0.5.7.1, directory-1.2.6.2, dlist-0.8.0.2, filepath-1.4.1.0, language-c-0.5.0, mtl-2.2.1, pretty-1.1.3.3, process-1.4.2.0, yices-0.0.0.12 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring call-stack-0.1.0...
Configuring dlist-0.8.0.2...
Building call-stack-0.1.0...
Building dlist-0.8.0.2...
Configuring cmdargs-0.10.14...
Installed call-stack-0.1.0
Building cmdargs-0.10.14...
Configuring mtl-2.2.1...
Installed dlist-0.8.0.2
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed mtl-2.2.1
Building old-locale-1.0.0.7...
Configuring network-2.6.3.1...
Installed old-locale-1.0.0.7
Building network-2.6.3.1...
Configuring random-1.1...
Installed network-2.6.3.1
Building random-1.1...
Configuring syb-0.6...
Installed cmdargs-0.10.14
Building syb-0.6...
Configuring text-1.2.2.1...
Installed random-1.1
Building text-1.2.2.1...
Installed syb-0.6
Configuring HUnit-1.5.0.0...
Building HUnit-1.5.0.0...
Installed HUnit-1.5.0.0
Configuring old-time-1.1.0.3...
Building old-time-1.1.0.3...
Configuring hslogger-1.2.10...
Installed old-time-1.1.0.3
Building hslogger-1.2.10...
Configuring regex-base-0.93.2...
Installed hslogger-1.2.10
Building regex-base-0.93.2...
Configuring language-c-0.5.0...
Installed text-1.2.2.1
Building language-c-0.5.0...
Installed regex-base-0.93.2
Configuring regex-posix-0.95.2...
Building regex-posix-0.95.2...
Configuring parsec-3.1.11...
Installed regex-posix-0.95.2
Building parsec-3.1.11...
Configuring regex-compat-0.95.1...
Installed parsec-3.1.11
Building regex-compat-0.95.1...
Installed regex-compat-0.95.1
Configuring yices-0.0.0.12...
Building yices-0.0.0.12...
Configuring MissingH-1.4.0.1...
Failed to install yices-0.0.0.12
Build log ( /home/builder/.cabal/logs/yices-0.0.0.12.log ):
cabal: Entering directory '/tmp/cabal-tmp-26777/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: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wmissing-signatures]
Top-level binding with no type signature: space :: ShowS
Math/SMT/Yices/Syntax.hs:110:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showStringsSepBy :: String -> [String] -> ShowS
Math/SMT/Yices/Syntax.hs:117:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showCtorDef :: Show a => (String, [(String, a)]) -> ShowS
Math/SMT/Yices/Syntax.hs:120:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showBinding :: (Show a, Show a1) =>
((String, Maybe a1), a) -> ShowS
Math/SMT/Yices/Syntax.hs:127:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: showTypY :: TypY -> ShowS
Math/SMT/Yices/Syntax.hs:143:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: showExpY :: ExpY -> ShowS
Math/SMT/Yices/Syntax.hs:193:1: warning: [-Wmissing-signatures]
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:53:1: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
lexme :: forall b (m :: * -> *) u s.
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:26: error:
• Could not deduce (Text.Parsec.Prim.Stream s0 m0 Char)
arising from a use of ‘char’
from the context: Text.Parsec.Prim.Stream s m t
bound by the inferred type of
paren :: Text.Parsec.Prim.Stream s m t =>
Text.Parsec.Prim.ParsecT s u m a
-> Text.Parsec.Prim.ParsecT s u m a
at Math/SMT/Yices/Parser.hs:58:1-53
The type variables ‘s0’, ‘m0’ are ambiguous
These potential instances exist:
instance [safe] Monad m => Text.Parsec.Prim.Stream [tok] m tok
-- Defined in ‘Text.Parsec.Prim’
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the second argument of ‘($)’, namely ‘char '('’
In the first argument of ‘between’, namely ‘(lexme $ char '(')’
In the expression: between (lexme $ char '(') (lexme $ char ')')
Math/SMT/Yices/Parser.hs:58:45: error:
• Could not deduce (Text.Parsec.Prim.Stream s1 m1 Char)
arising from a use of ‘char’
from the context: Text.Parsec.Prim.Stream s m t
bound by the inferred type of
paren :: Text.Parsec.Prim.Stream s m t =>
Text.Parsec.Prim.ParsecT s u m a
-> Text.Parsec.Prim.ParsecT s u m a
at Math/SMT/Yices/Parser.hs:58:1-53
The type variables ‘s1’, ‘m1’ are ambiguous
These potential instances exist:
instance [safe] Monad m => Text.Parsec.Prim.Stream [tok] m tok
-- Defined in ‘Text.Parsec.Prim’
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the second argument of ‘($)’, namely ‘char ')'’
In the second argument of ‘between’, namely ‘(lexme $ char ')')’
In the expression: between (lexme $ char '(') (lexme $ char ')')
Math/SMT/Yices/Parser.hs:71:1: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
neg :: forall a (m :: * -> *) u s.
(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: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
nat :: forall (m :: * -> *) u s.
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Integer
Math/SMT/Yices/Parser.hs:78:17: error:
• Ambiguous type variables ‘s2’, ‘m2’, ‘t0’ arising from a use of ‘int’
prevents the constraint ‘(Text.Parsec.Prim.Stream
s2 m2 t0)’ from being solved.
Probable fix: use a type annotation to specify what ‘s2’, ‘m2’, ‘t0’ should be.
These potential instances exist:
instance [safe] Monad m => Text.Parsec.Prim.Stream [tok] m tok
-- Defined in ‘Text.Parsec.Prim’
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘lexme’, namely ‘int’
In the first argument of ‘(<?>)’, namely ‘lexme int’
In the expression: lexme int <?> "integer"
Math/SMT/Yices/Parser.hs:81:1: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
rat :: forall a (m :: * -> *) u s.
(Integral a, Text.Parsec.Prim.Stream s m Char) =>
Text.Parsec.Prim.ParsecT s u m (Ratio a)
Math/SMT/Yices/Parser.hs:88:18: error:
• Ambiguous type variables ‘s3’, ‘m3’, ‘t1’ arising from a use of ‘ratio’
prevents the constraint ‘(Text.Parsec.Prim.Stream
s3 m3 t1)’ from being solved.
Probable fix: use a type annotation to specify what ‘s3’, ‘m3’, ‘t1’ should be.
These potential instances exist:
instance [safe] Monad m => Text.Parsec.Prim.Stream [tok] m tok
-- Defined in ‘Text.Parsec.Prim’
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘lexme’, namely ‘ratio’
In the first argument of ‘(<?>)’, namely ‘lexme ratio’
In the expression: lexme ratio <?> "rational"
Math/SMT/Yices/Parser.hs:91:1: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
true :: forall (m :: * -> *) u s.
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:93:1: error:
• Non type-variable argument
in the constraint: Text.Parsec.Prim.Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
false :: forall (m :: * -> *) u s.
Text.Parsec.Prim.Stream s m Char =>
Text.Parsec.Prim.ParsecT s u m Bool
Math/SMT/Yices/Parser.hs:99:21: error:
• Ambiguous type variables ‘s4’, ‘m4’ arising from a use of ‘string’
prevents the constraint ‘(Text.Parsec.Prim.Stream
s4 m4 Char)’ from being solved.
Probable fix: use a type annotation to specify what ‘s4’, ‘m4’ should be.
These potential instances exist:
instance [safe] Monad m => Text.Parsec.Prim.Stream [tok] m tok
-- Defined in ‘Text.Parsec.Prim’
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the second argument of ‘(.)’, namely ‘string’
In the second argument of ‘(.)’, namely ‘lexme . string’
In the expression: try . lexme . string
cabal: Leaving directory '/tmp/cabal-tmp-26777/yices-0.0.0.12'
Building MissingH-1.4.0.1...
Installed MissingH-1.4.0.1
Configuring ConfigFile-1.1.4...
Building ConfigFile-1.1.4...
Installed ConfigFile-1.1.4
Installed language-c-0.5.0
cabal: Error: some packages failed to install:
cao-0.1 depends on yices-0.0.0.12 which failed to install.
yices-0.0.0.12 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.