Build #5 for smtlib2-0.1
| Package | smtlib2-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-12 11:39:42.25738 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, atto-lisp-0.2.2.2, attoparsec-0.13.1.0, base-4.9.0.0, blaze-builder-0.4.0.2, bytestring-0.10.8.1, constraints-0.8, containers-0.5.7.1, data-fix-0.0.3, mtl-2.2.1, process-1.4.2.0, tagged-0.8.5, text-1.2.2.1, transformers-0.5.2.0 |
| Flags | -withdatakinds withconstraints |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring data-fix-0.0.3...
Configuring mtl-2.2.1...
Building data-fix-0.0.3...
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed data-fix-0.0.3
Building old-locale-1.0.0.7...
Configuring primitive-0.6.1.0...
Installed old-locale-1.0.0.7
Building primitive-0.6.1.0...
Configuring transformers-compat-0.5.1.4...
Installed mtl-2.2.1
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Configuring tagged-0.8.5...
Installed primitive-0.6.1.0
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Installed text-1.2.2.1
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Configuring blaze-builder-0.4.0.2...
Installed hashable-1.2.4.0
Building blaze-builder-0.4.0.2...
Configuring constraints-0.8...
Installed blaze-builder-0.4.0.2
Building constraints-0.8...
Installed constraints-0.8
Installed vector-0.11.0.0
Configuring scientific-0.3.4.9...
Configuring blaze-textual-0.2.1.0...
Building blaze-textual-0.2.1.0...
Building scientific-0.3.4.9...
Installed blaze-textual-0.2.1.0
Installed scientific-0.3.4.9
Configuring attoparsec-0.13.1.0...
Building attoparsec-0.13.1.0...
Installed attoparsec-0.13.1.0
Downloading atto-lisp-0.2.2.2...
Configuring atto-lisp-0.2.2.2...
Building atto-lisp-0.2.2.2...
Installed atto-lisp-0.2.2.2
Downloading smtlib2-0.1...
Configuring smtlib2-0.1...
Building smtlib2-0.1...
Failed to install smtlib2-0.1
Build log ( /home/builder/.cabal/logs/smtlib2-0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-29195/smtlib2-0.1'
Configuring smtlib2-0.1...
Building smtlib2-0.1...
Preprocessing library smtlib2-0.1...
[ 1 of 11] Compiling Language.SMTLib2.Internals.Operators ( Language/SMTLib2/Internals/Operators.hs, dist/build/Language/SMTLib2/Internals/Operators.o )
[ 2 of 11] Compiling Language.SMTLib2.Strategy ( Language/SMTLib2/Strategy.hs, dist/build/Language/SMTLib2/Strategy.o )
Language/SMTLib2/Strategy.hs:5: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()
[ 3 of 11] Compiling Language.SMTLib2.Internals ( Language/SMTLib2/Internals.hs, dist/build/Language/SMTLib2/Internals.o )
Language/SMTLib2/Internals.hs:887:99: error:
• Couldn't match type ‘i3’ with ‘Add n1 n2’
Expected type: Proxy (Add (S n1) n2)
Actual type: Proxy (S i3)
• In the third argument of ‘f'’, namely ‘(Proxy :: Proxy (S i3))’
In the expression:
f'
(Proxy :: Proxy (S i1)) (Proxy :: Proxy i2) (Proxy :: Proxy (S i3))
In the second argument of ‘($)’, namely
‘\ (_ :: Proxy i1) (_ :: Proxy i2) (_ :: Proxy i3)
-> f'
(Proxy :: Proxy (S i1))
(Proxy :: Proxy i2)
(Proxy :: Proxy (S i3))’
cabal: Leaving directory '/tmp/cabal-tmp-29195/smtlib2-0.1'
cabal: Error: some packages failed to install:
smtlib2-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.