Build #2 for liquid-fixpoint-8.10.7
| Package | liquid-fixpoint-8.10.7 |
|---|
| Install | DependencyFailed liquid-fixpoint-8.10.7 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2021-11-03 16:22:12.983333989 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-2.0.1.0, ansi-terminal-0.11, array-0.5.4.0, ascii-progress-0.3.3.0, async-2.2.4, attoparsec-0.14.2, base-4.14.1.0, binary-0.8.8.0, boxes-0.1.5, bytestring-0.10.10.0, cereal-0.5.8.1, cmdargs-0.10.21, containers-0.6.2.1, deepseq-1.4.4.0, directory-1.3.6.0, fgl-5.7.0.3, filepath-1.4.2.1, hashable-1.3.5.0, intern-0.9.4, megaparsec-8.0.0, mtl-2.2.2, parallel-3.2.2.0, parser-combinators-1.3.0, pretty-1.1.3.6, process-1.6.9.0, rest-rewrite-0.1.1, stm-2.5.0.0, store-0.7.12, syb-0.7.2.1, text-1.2.5.0, transformers-0.5.6.2, unordered-containers-0.2.14.0, base-4.14.1.0 |
| Flags | -devel |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Warning: The following packages are likely to be broken by the reinstalls:
Cabal-3.2.0.0
Continuing even though the plan contains dangerous reinstalls.
Starting StateVar-1.2.2
Starting base64-bytestring-1.2.1.0
Starting base-orphans-0.8.6
Starting base-compat-0.12.1
Building StateVar-1.2.2
Building base64-bytestring-1.2.1.0
Building base-orphans-0.8.6
Building base-compat-0.12.1
Completed StateVar-1.2.2
Starting basement-0.0.12
Building basement-0.0.12
Completed base64-bytestring-1.2.1.0
Starting byteable-0.1.1
Building byteable-0.1.1
Completed byteable-0.1.1
Starting call-stack-0.4.0
Building call-stack-0.4.0
Completed base-orphans-0.8.6
Starting cereal-0.5.8.1
Building cereal-0.5.8.1
Completed base-compat-0.12.1
Starting clock-0.8.2
Completed call-stack-0.4.0
Starting cmdargs-0.10.21
Building clock-0.8.2
Building cmdargs-0.10.21
Completed clock-0.8.2
Starting colour-2.3.6
Building colour-2.3.6
Completed cereal-0.5.8.1
Starting data-default-class-0.1.2.0
Building data-default-class-0.1.2.0
Completed data-default-class-0.1.2.0
Starting dlist-1.0
Building dlist-1.0
Completed colour-2.3.6
Starting fgl-5.7.0.3
Building fgl-5.7.0.3
Completed dlist-1.0
Starting hspec-discover-2.8.3
Building hspec-discover-2.8.3
Completed hspec-discover-2.8.3
Starting indexed-traversable-0.1.2
Building indexed-traversable-0.1.2
Completed fgl-5.7.0.3
Starting integer-logarithms-1.0.3.1
Completed cmdargs-0.10.21
Starting logict-0.7.0.3
Building integer-logarithms-1.0.3.1
Building logict-0.7.0.3
Completed indexed-traversable-0.1.2
Starting monad-loops-0.4.3
Building monad-loops-0.4.3
Completed integer-logarithms-1.0.3.1
Starting nats-1.1.2
Building nats-1.1.2
Completed nats-1.1.2
Starting network-3.1.2.5
Completed logict-0.7.0.3
Starting old-locale-1.0.0.7
Completed monad-loops-0.4.3
Starting parallel-3.2.2.0
Building old-locale-1.0.0.7
Building parallel-3.2.2.0
Completed old-locale-1.0.0.7
Starting parser-combinators-1.3.0
Building parser-combinators-1.3.0
Building network-3.1.2.5
Completed parallel-3.2.2.0
Starting primitive-0.7.3.0
Building primitive-0.7.3.0
Completed parser-combinators-1.3.0
Starting safe-0.3.19
Building safe-0.3.19
Completed safe-0.3.19
Starting setenv-0.1.1.3
Building setenv-0.1.1.3
Completed setenv-0.1.1.3
Starting split-0.2.3.4
Building split-0.2.3.4
Completed basement-0.0.12
Starting splitmix-0.1.0.4
Building splitmix-0.1.0.4
Completed split-0.2.3.4
Starting syb-0.7.2.1
Completed network-3.1.2.5
Starting tagged-0.8.6.1
Building syb-0.7.2.1
Building tagged-0.8.6.1
Completed splitmix-0.1.0.4
Starting terminal-size-0.3.2.1
Building terminal-size-0.3.2.1
Completed primitive-0.7.3.0
Starting text-1.2.5.0
Completed tagged-0.8.6.1
Starting th-abstraction-0.4.3.0
Completed terminal-size-0.3.2.1
Starting th-compat-0.1.3
Building text-1.2.5.0
Completed syb-0.7.2.1
Starting transformers-compat-0.7.1
Building th-abstraction-0.4.3.0
Building th-compat-0.1.3
Building transformers-compat-0.7.1
Completed th-compat-0.1.3
Starting unliftio-core-0.2.0.1
Building unliftio-core-0.2.0.1
Completed transformers-compat-0.7.1
Starting void-0.7.3
Completed unliftio-core-0.2.0.1
Starting contravariant-1.5.5
Building void-0.7.3
Building contravariant-1.5.5
Completed th-abstraction-0.4.3.0
Starting HUnit-1.6.2.0
Building HUnit-1.6.2.0
Completed void-0.7.3
Starting data-default-instances-containers-0.0.1
Building data-default-instances-containers-0.0.1
Completed data-default-instances-containers-0.0.1
Starting ansi-terminal-0.11
Building ansi-terminal-0.11
Completed contravariant-1.5.5
Starting data-default-instances-dlist-0.0.1
Completed HUnit-1.6.2.0
Starting smallcheck-1.2.1
Building data-default-instances-dlist-0.0.1
Building smallcheck-1.2.1
Completed data-default-instances-dlist-0.0.1
Starting data-default-instances-old-locale-0.0.1
Building data-default-instances-old-locale-0.0.1
Completed data-default-instances-old-locale-0.0.1
Starting memory-0.16.0
Completed ansi-terminal-0.11
Starting boxes-0.1.5
Building memory-0.16.0
Building boxes-0.1.5
Completed boxes-0.1.5
Starting random-1.2.1
Building random-1.2.1
Completed smallcheck-1.2.1
Starting vector-0.12.3.1
Building vector-0.12.3.1
Completed text-1.2.5.0
Starting distributive-0.6.2.1
Building distributive-0.6.2.1
Completed memory-0.16.0
Starting transformers-base-0.4.6
Building transformers-base-0.4.6
Completed distributive-0.6.2.1
Starting resourcet-1.2.4.3
Building resourcet-1.2.4.3
Completed transformers-base-0.4.6
Starting th-lift-0.8.2
Building th-lift-0.8.2
Completed random-1.2.1
Starting th-expand-syns-0.4.9.0
Building th-expand-syns-0.4.9.0
Completed th-lift-0.8.2
Starting hspec-expectations-0.8.2
Building hspec-expectations-0.8.2
Completed resourcet-1.2.4.3
Starting data-default-0.7.1.1
Completed th-expand-syns-0.4.9.0
Starting store-core-0.4.4.4
Building data-default-0.7.1.1
Building store-core-0.4.4.4
Completed hspec-expectations-0.8.2
Starting parsec-3.1.14.0
Completed data-default-0.7.1.1
Starting hashable-1.3.5.0
Building parsec-3.1.14.0
Building hashable-1.3.5.0
Completed store-core-0.4.4.4
Starting cryptonite-0.29
Building cryptonite-0.29
Completed hashable-1.3.5.0
Starting comonad-5.0.8
Building comonad-5.0.8
Completed parsec-3.1.14.0
Starting monad-control-1.0.3.1
Building monad-control-1.0.3.1
Completed comonad-5.0.8
Starting tf-random-0.5
Building tf-random-0.5
Completed monad-control-1.0.3.1
Starting QuickCheck-2.14.2
Building QuickCheck-2.14.2
Completed tf-random-0.5
Starting th-reify-many-0.1.10
Building th-reify-many-0.1.10
Completed th-reify-many-0.1.10
Starting uuid-types-1.0.5
Building uuid-types-1.0.5
Completed uuid-types-1.0.5
Starting unordered-containers-0.2.14.0
Building unordered-containers-0.2.14.0
Completed vector-0.12.3.1
Starting time-compat-1.9.6.1
Building time-compat-1.9.6.1
Completed time-compat-1.9.6.1
Starting scientific-0.3.7.0
Building scientific-0.3.7.0
Completed QuickCheck-2.14.2
Starting data-fix-0.3.2
Completed unordered-containers-0.2.14.0
Starting case-insensitive-1.2.1.0
Building data-fix-0.3.2
Building case-insensitive-1.2.1.0
Completed data-fix-0.3.2
Starting async-2.2.4
Completed case-insensitive-1.2.1.0
Starting OneTuple-0.3.1
Completed scientific-0.3.7.0
Starting bifunctors-5.5.11
Building async-2.2.4
Building OneTuple-0.3.1
Building bifunctors-5.5.11
Completed OneTuple-0.3.1
Starting lifted-base-0.2.3.12
Completed async-2.2.4
Starting vector-algorithms-0.8.0.4
Building lifted-base-0.2.3.12
Building vector-algorithms-0.8.0.4
Completed lifted-base-0.2.3.12
Starting th-lift-instances-0.1.18
Building th-lift-instances-0.1.18
Completed th-lift-instances-0.1.18
Starting quickcheck-io-0.2.0
Building quickcheck-io-0.2.0
Completed quickcheck-io-0.2.0
Starting rest-rewrite-0.1.1
Building rest-rewrite-0.1.1
Completed bifunctors-5.5.11
Starting intern-0.9.4
Building intern-0.9.4
Failed to install rest-rewrite-0.1.1
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/rest-rewrite-0.1.1-Kvcs9Outug93bKViOfL1tm.log ):
cabal: Entering directory '/tmp/cabal-tmp-1892/rest-rewrite-0.1.1'
Configuring rest-rewrite-0.1.1...
Preprocessing executable 'rest' for rest-rewrite-0.1.1..
Building executable 'rest' for rest-rewrite-0.1.1..
[ 1 of 42] Compiling Language.REST.AbstractOC ( src/Language/REST/AbstractOC.hs, dist/build/rest/rest-tmp/Language/REST/AbstractOC.o )
[ 2 of 42] Compiling Language.REST.Dot ( src/Language/REST/Dot.hs, dist/build/rest/rest-tmp/Language/REST/Dot.o )
[ 3 of 42] Compiling Language.REST.ExploredTerms ( src/Language/REST/ExploredTerms.hs, dist/build/rest/rest-tmp/Language/REST/ExploredTerms.o )
[ 4 of 42] Compiling Language.REST.MultiSet ( src/Language/REST/MultiSet.hs, dist/build/rest/rest-tmp/Language/REST/MultiSet.o )
[ 5 of 42] Compiling Language.REST.RewriteRule ( src/Language/REST/RewriteRule.hs, dist/build/rest/rest-tmp/Language/REST/RewriteRule.o )
[ 6 of 42] Compiling Language.REST.SMT ( src/Language/REST/SMT.hs, dist/build/rest/rest-tmp/Language/REST/SMT.o )
[ 7 of 42] Compiling Language.REST.Op ( src/Language/REST/Op.hs, dist/build/rest/rest-tmp/Language/REST/Op.o )
[ 8 of 42] Compiling Language.REST.RuntimeTerm ( src/Language/REST/RuntimeTerm.hs, dist/build/rest/rest-tmp/Language/REST/RuntimeTerm.o )
[ 9 of 42] Compiling Language.REST.MetaTerm ( src/Language/REST/MetaTerm.hs, dist/build/rest/rest-tmp/Language/REST/MetaTerm.o )
[10 of 42] Compiling Language.REST.Rewrite ( src/Language/REST/Rewrite.hs, dist/build/rest/rest-tmp/Language/REST/Rewrite.o )
[11 of 42] Compiling Language.REST.Types ( src/Language/REST/Types.hs, dist/build/rest/rest-tmp/Language/REST/Types.o )
src/Language/REST/Types.hs:72:10: error:
Duplicate instance declarations:
instance Hashable a => Hashable (OS.Set a)
-- Defined at src/Language/REST/Types.hs:72:10
instance Hashable v => Hashable (OS.Set v)
-- Defined in hashable-1.3.5.0:Data.Hashable.Class
|
72 | instance Hashable a => Hashable (OS.Set a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Language/REST/Types.hs:75:10: error:
Duplicate instance declarations:
instance (Hashable a, Hashable b) => Hashable (M.Map a b)
-- Defined at src/Language/REST/Types.hs:75:10
instance (Hashable k, Hashable v) => Hashable (M.Map k v)
-- Defined in hashable-1.3.5.0:Data.Hashable.Class
|
75 | instance (Hashable a, Hashable b) => Hashable (M.Map a b) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-1892/rest-rewrite-0.1.1'
Starting megaparsec-8.0.0
Completed vector-algorithms-0.8.0.4
Building megaparsec-8.0.0
Completed intern-0.9.4
Completed megaparsec-8.0.0
Completed cryptonite-0.29
cabal: Error: some packages failed to install:
liquid-fixpoint-8.10.7-GrizhNdlMiGD1eOOXJySwK depends on
liquid-fixpoint-8.10.7 which failed to install.
rest-rewrite-0.1.1-Kvcs9Outug93bKViOfL1tm failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.