Build #3 for impure-containers-0.1.0.0
| Package | impure-containers-0.1.0.0 |
|---|
| Install | DependencyFailed liquid-fixpoint-0.3.0.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-22 06:40:26.755051 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, ghc-prim-0.5.0.0, hashable-1.2.4.0, liquidhaskell-0.4.1.1, primitive-0.6.1.0, vector-0.11.0.0, vector-th-unbox-0.2.1.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring Diff-0.3.4...
Configuring ansi-terminal-0.6.2.3...
Building ansi-terminal-0.6.2.3...
Building Diff-0.3.4...
Installed Diff-0.3.4
Configuring base-compat-0.9.1...
Configuring base-orphans-0.5.4...
Installed ansi-terminal-0.6.2.3
Building base-compat-0.9.1...
Building base-orphans-0.5.4...
Configuring data-default-class-0.1.2.0...
Installed base-orphans-0.5.4
Building data-default-class-0.1.2.0...
Configuring cmdargs-0.10.14...
Installed base-compat-0.9.1
Building cmdargs-0.10.14...
Configuring dlist-0.8.0.2...
Installed data-default-class-0.1.2.0
Building dlist-0.8.0.2...
Configuring fingertree-0.1.1.0...
Installed dlist-0.8.0.2
Building fingertree-0.1.1.0...
Configuring ghc-paths-0.1.0.9...
Installed fingertree-0.1.1.0
Building ghc-paths-0.1.0.9...
Configuring mtl-2.2.1...
Installed ghc-paths-0.1.0.9
Building mtl-2.2.1...
Configuring hscolour-1.24.1...
Installed mtl-2.2.1
Building hscolour-1.24.1...
Configuring old-locale-1.0.0.7...
Installed cmdargs-0.10.14
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 semigroups-0.18.2...
Installed hscolour-1.24.1
Configuring stm-2.4.4.1...
Installed primitive-0.6.1.0
Building semigroups-0.18.2...
Building stm-2.4.4.1...
Configuring syb-0.6...
Installed semigroups-0.18.2
Building syb-0.6...
Configuring text-1.2.2.1...
Installed stm-2.4.4.1
Building text-1.2.2.1...
Configuring time-locale-compat-0.1.1.3...
Installed syb-0.6
Building time-locale-compat-0.1.1.3...
Configuring transformers-compat-0.5.1.4...
Installed time-locale-compat-0.1.1.3
Building transformers-compat-0.5.1.4...
Configuring unix-compat-0.4.2.0...
Installed transformers-compat-0.5.1.4
Building unix-compat-0.4.2.0...
Installed unix-compat-0.4.2.0
Configuring data-default-instances-containers-0.0.1...
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-dlist-0.0.1
Building data-default-instances-old-locale-0.0.1...
Configuring old-time-1.1.0.3...
Installed data-default-instances-old-locale-0.0.1
Building old-time-1.1.0.3...
Configuring StateVar-1.1.0.4...
Installed text-1.2.2.1
Building StateVar-1.1.0.4...
Configuring tagged-0.8.5...
Installed StateVar-1.1.0.4
Building tagged-0.8.5...
Configuring vector-0.11.0.0...
Installed old-time-1.1.0.3
Building vector-0.11.0.0...
Configuring filemanip-0.3.6.3...
Installed tagged-0.8.5
Building filemanip-0.3.6.3...
Installed filemanip-0.3.6.3
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring double-conversion-2.0.1.0...
Installed data-default-0.7.1.1
Building double-conversion-2.0.1.0...
Configuring hashable-1.2.4.0...
Installed double-conversion-2.0.1.0
Building hashable-1.2.4.0...
Configuring parsec-3.1.11...
Installed hashable-1.2.4.0
Building parsec-3.1.11...
Configuring polyparse-1.12...
Installed parsec-3.1.11
Configuring distributive-0.5.0.2...
Installed vector-0.11.0.0
Building polyparse-1.12...
Building distributive-0.5.0.2...
Installed distributive-0.5.0.2
Configuring text-format-0.3.1.1...
Building text-format-0.3.1.1...
Configuring void-0.7.1...
Installed polyparse-1.12
Building void-0.7.1...
Configuring unordered-containers-0.2.7.1...
Installed void-0.7.1
Building unordered-containers-0.2.7.1...
Configuring scientific-0.3.4.9...
Installed text-format-0.3.1.1
Building scientific-0.3.4.9...
Configuring vector-th-unbox-0.2.1.6...
Installed scientific-0.3.4.9
Building vector-th-unbox-0.2.1.6...
Installed unordered-containers-0.2.7.1
Configuring cpphs-1.20.2...
Installed vector-th-unbox-0.2.1.6
Configuring contravariant-1.4...
Building cpphs-1.20.2...
Building contravariant-1.4...
Configuring attoparsec-0.13.1.0...
Installed contravariant-1.4
Building attoparsec-0.13.1.0...
Configuring intern-0.9.1.4...
Installed cpphs-1.20.2
Building intern-0.9.1.4...
Configuring comonad-5...
Installed intern-0.9.1.4
Installed attoparsec-0.13.1.0
Configuring aeson-1.0.2.1...
Building aeson-1.0.2.1...
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring liquid-fixpoint-0.3.0.1...
Building liquid-fixpoint-0.3.0.1...
Installed aeson-1.0.2.1
Failed to install liquid-fixpoint-0.3.0.1
Build log ( /home/builder/.cabal/logs/liquid-fixpoint-0.3.0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1'
[1 of 1] Compiling Main ( /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/setup.hs, /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1/dist/setup/setup ...
Configuring liquid-fixpoint-0.3.0.1...
Building liquid-fixpoint-0.3.0.1...
Preprocessing library liquid-fixpoint-0.3.0.1...
[ 1 of 20] Compiling Language.Fixpoint.Misc ( src/Language/Fixpoint/Misc.hs, dist/build/Language/Fixpoint/Misc.o )
[ 2 of 20] Compiling Language.Fixpoint.Names ( src/Language/Fixpoint/Names.hs, dist/build/Language/Fixpoint/Names.o )
[ 3 of 20] Compiling Language.Fixpoint.Types ( src/Language/Fixpoint/Types.hs, dist/build/Language/Fixpoint/Types.o )
src/Language/Fixpoint/Types.hs:1226:5: warning: [-Woverlapping-patterns]
Pattern match is redundant
In an equation for ‘flatRa’: flatRa ra = ...
[ 4 of 20] Compiling Language.Fixpoint.PrettyPrint ( src/Language/Fixpoint/PrettyPrint.hs, dist/build/Language/Fixpoint/PrettyPrint.o )
src/Language/Fixpoint/PrettyPrint.hs:58:10: error:
• Overlapping instances for PPrint String
arising from a use of ‘Language.Fixpoint.PrettyPrint.$dmpprintPrec’
Matching instances:
instance PPrint a => PPrint [a]
-- Defined at src/Language/Fixpoint/PrettyPrint.hs:33:10
instance PPrint String
-- Defined at src/Language/Fixpoint/PrettyPrint.hs:58:10
• In the expression:
Language.Fixpoint.PrettyPrint.$dmpprintPrec @String
In an equation for ‘pprintPrec’:
pprintPrec = Language.Fixpoint.PrettyPrint.$dmpprintPrec @String
In the instance declaration for ‘PPrint String’
cabal: Leaving directory '/tmp/cabal-tmp-29720/liquid-fixpoint-0.3.0.1'
cabal: Error: some packages failed to install:
impure-containers-0.1.0.0 depends on liquid-fixpoint-0.3.0.1 which failed to
install.
liquid-fixpoint-0.3.0.1 failed during the building phase. The exception was:
ExitFailure 1
liquidhaskell-0.4.1.1 depends on liquid-fixpoint-0.3.0.1 which failed to
install.
Test log
No test log was submitted for this report.