Build #1 for holmes-0.3.0.0
| Package | holmes-0.3.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-04-03 12:09:10.92528715 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, containers-0.6.0.1, hashable-1.3.0.0, hedgehog-1.0.2, logict-0.7.0.2, mtl-2.2.2, primitive-0.7.0.1, transformers-0.5.5.0, unordered-containers-0.2.10.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Warning: The install command is a part of the legacy v1 style of cabal usage.
Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.
For more information, see: https://wiki.haskell.org/Cabal/NewBuild
Resolving dependencies...
Starting colour-2.3.5
Starting erf-2.0.0.0
Starting base-orphans-0.8.2
Starting exceptions-0.10.4
Building erf-2.0.0.0
Building colour-2.3.5
Building base-orphans-0.8.2
Building exceptions-0.10.4
Completed erf-2.0.0.0
Starting fail-4.9.0.0
Building fail-4.9.0.0
Completed fail-4.9.0.0
Starting hashable-1.3.0.0
Building hashable-1.3.0.0
Completed exceptions-0.10.4
Starting haskell-lexer-1.1
Completed base-orphans-0.8.2
Starting logict-0.7.0.2
Building haskell-lexer-1.1
Building logict-0.7.0.2
Completed colour-2.3.5
Starting primitive-0.7.0.1
Completed hashable-1.3.0.0
Starting random-1.1
Completed logict-0.7.0.2
Starting semigroups-0.19.1
Building primitive-0.7.0.1
Building random-1.1
Building semigroups-0.19.1
Completed semigroups-0.19.1
Starting terminal-size-0.3.2.1
Building terminal-size-0.3.2.1
Completed random-1.1
Starting transformers-compat-0.6.5
Building transformers-compat-0.6.5
Completed terminal-size-0.3.2.1
Starting type-equality-1
Building type-equality-1
Completed type-equality-1
Starting unliftio-core-0.2.0.1
Building unliftio-core-0.2.0.1
Completed transformers-compat-0.6.5
Starting wl-pprint-annotated-0.1.0.1
Completed unliftio-core-0.2.0.1
Starting ansi-terminal-0.10.3
Building wl-pprint-annotated-0.1.0.1
Building ansi-terminal-0.10.3
Completed wl-pprint-annotated-0.1.0.1
Starting unordered-containers-0.2.10.0
Completed ansi-terminal-0.10.3
Starting async-2.2.2
Building unordered-containers-0.2.10.0
Completed primitive-0.7.0.1
Starting transformers-base-0.4.5.2
Building async-2.2.2
Building transformers-base-0.4.5.2
Completed transformers-base-0.4.5.2
Starting mmorph-1.1.3
Completed async-2.2.2
Starting constraints-0.12
Building mmorph-1.1.3
Building constraints-0.12
Completed mmorph-1.1.3
Starting resourcet-1.2.3
Building resourcet-1.2.3
Completed unordered-containers-0.2.10.0
Starting monad-control-1.0.2.3
Completed resourcet-1.2.3
Starting concurrent-output-1.10.11
Building monad-control-1.0.2.3
Completed haskell-lexer-1.1
Starting pretty-show-1.10
Building concurrent-output-1.10.11
Building pretty-show-1.10
Completed constraints-0.12
Completed monad-control-1.0.2.3
Starting lifted-base-0.2.3.12
Building lifted-base-0.2.3.12
Completed lifted-base-0.2.3.12
Starting lifted-async-0.10.0.6
Building lifted-async-0.10.0.6
Completed pretty-show-1.10
Completed concurrent-output-1.10.11
Completed lifted-async-0.10.0.6
Starting hedgehog-1.0.2
Building hedgehog-1.0.2
Completed hedgehog-1.0.2
Downloading holmes-0.3.0.0
Downloaded holmes-0.3.0.0
Starting holmes-0.3.0.0
Building holmes-0.3.0.0
Failed to install holmes-0.3.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/holmes-0.3.0.0-6WQ12pgNP0qB4qeTEyAips.log ):
cabal: Entering directory '/tmp/cabal-tmp-12658/holmes-0.3.0.0'
Configuring holmes-0.3.0.0...
Preprocessing library for holmes-0.3.0.0..
Building library for holmes-0.3.0.0..
[ 1 of 22] Compiling Data.CDCL ( src/Data/CDCL.hs, dist/build/Data/CDCL.o )
[ 2 of 22] Compiling Data.Input.Config ( src/Data/Input/Config.hs, dist/build/Data/Input/Config.o )
[ 3 of 22] Compiling Data.JoinSemilattice.Defined ( src/Data/JoinSemilattice/Defined.hs, dist/build/Data/JoinSemilattice/Defined.o )
[ 4 of 22] Compiling Data.JoinSemilattice.Intersect ( src/Data/JoinSemilattice/Intersect.hs, dist/build/Data/JoinSemilattice/Intersect.o )
[ 5 of 22] Compiling Data.JoinSemilattice.Class.Merge ( src/Data/JoinSemilattice/Class/Merge.hs, dist/build/Data/JoinSemilattice/Class/Merge.o )
[ 6 of 22] Compiling Data.JoinSemilattice.Class.Sum ( src/Data/JoinSemilattice/Class/Sum.hs, dist/build/Data/JoinSemilattice/Class/Sum.o )
[ 7 of 22] Compiling Control.Monad.Cell.Class ( src/Control/Monad/Cell/Class.hs, dist/build/Control/Monad/Cell/Class.o )
[ 8 of 22] Compiling Data.JoinSemilattice.Class.Mapping ( src/Data/JoinSemilattice/Class/Mapping.hs, dist/build/Data/JoinSemilattice/Class/Mapping.o )
[ 9 of 22] Compiling Data.JoinSemilattice.Class.Zipping ( src/Data/JoinSemilattice/Class/Zipping.hs, dist/build/Data/JoinSemilattice/Class/Zipping.o )
[10 of 22] Compiling Data.JoinSemilattice.Class.Lifting ( src/Data/JoinSemilattice/Class/Lifting.hs, dist/build/Data/JoinSemilattice/Class/Lifting.o )
[11 of 22] Compiling Data.JoinSemilattice.Class.Integral ( src/Data/JoinSemilattice/Class/Integral.hs, dist/build/Data/JoinSemilattice/Class/Integral.o )
[12 of 22] Compiling Data.JoinSemilattice.Class.Fractional ( src/Data/JoinSemilattice/Class/Fractional.hs, dist/build/Data/JoinSemilattice/Class/Fractional.o )
[13 of 22] Compiling Data.JoinSemilattice.Class.FlatMapping ( src/Data/JoinSemilattice/Class/FlatMapping.hs, dist/build/Data/JoinSemilattice/Class/FlatMapping.o )
[14 of 22] Compiling Data.JoinSemilattice.Class.Boolean ( src/Data/JoinSemilattice/Class/Boolean.hs, dist/build/Data/JoinSemilattice/Class/Boolean.o )
[15 of 22] Compiling Data.JoinSemilattice.Class.Eq ( src/Data/JoinSemilattice/Class/Eq.hs, dist/build/Data/JoinSemilattice/Class/Eq.o )
[16 of 22] Compiling Data.JoinSemilattice.Class.Ord ( src/Data/JoinSemilattice/Class/Ord.hs, dist/build/Data/JoinSemilattice/Class/Ord.o )
[17 of 22] Compiling Data.JoinSemilattice.Class.Abs ( src/Data/JoinSemilattice/Class/Abs.hs, dist/build/Data/JoinSemilattice/Class/Abs.o )
[18 of 22] Compiling Data.Propagator ( src/Data/Propagator.hs, dist/build/Data/Propagator.o )
[19 of 22] Compiling Control.Monad.MoriarT ( src/Control/Monad/MoriarT.hs, dist/build/Control/Monad/MoriarT.o )
[20 of 22] Compiling Control.Monad.Watson ( src/Control/Monad/Watson.hs, dist/build/Control/Monad/Watson.o )
[21 of 22] Compiling Control.Monad.Holmes ( src/Control/Monad/Holmes.hs, dist/build/Control/Monad/Holmes.o )
src/Control/Monad/Holmes.hs:133:35: error:
• Could not deduce: x1 ~ f x2
from the context: (EqC f x2, EqR f, Typeable x2)
bound by the type signature for:
satisfying :: forall (f :: * -> *) x2.
(EqC f x2, EqR f, Typeable x2) =>
Config Holmes (f x2)
-> (forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool))
-> IO (Maybe [f x2])
at src/Control/Monad/Holmes.hs:(124,1)-(131,23)
Expected type: Config (MoriarT IO) (f x2)
Actual type: Config (MoriarT IO) x1
• In the first argument of ‘MoriarT.solve’, namely ‘config’
In the first argument of ‘MoriarT.runOne’, namely
‘(MoriarT.solve config f)’
In the expression: MoriarT.runOne (MoriarT.solve config f)
• Relevant bindings include
f :: forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool)
(bound at src/Control/Monad/Holmes.hs:132:56)
config :: Config (MoriarT IO) x1
(bound at src/Control/Monad/Holmes.hs:132:23)
satisfying :: Config Holmes (f x2)
-> (forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool))
-> IO (Maybe [f x2])
(bound at src/Control/Monad/Holmes.hs:132:1)
|
133 | = MoriarT.runOne (MoriarT.solve config f)
| ^^^^^^
src/Control/Monad/Holmes.hs:161:35: error:
• Could not deduce: x ~ f x2
from the context: (EqC f x2, EqR f, Typeable x2)
bound by the type signature for:
whenever :: forall (f :: * -> *) x2.
(EqC f x2, EqR f, Typeable x2) =>
Config Holmes (f x2)
-> (forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool))
-> IO [[f x2]]
at src/Control/Monad/Holmes.hs:(152,1)-(159,17)
Expected type: Config (MoriarT IO) (f x2)
Actual type: Config (MoriarT IO) x
• In the first argument of ‘MoriarT.solve’, namely ‘config’
In the first argument of ‘MoriarT.runAll’, namely
‘(MoriarT.solve config f)’
In the expression: MoriarT.runAll (MoriarT.solve config f)
• Relevant bindings include
f :: forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool)
(bound at src/Control/Monad/Holmes.hs:160:54)
config :: Config (MoriarT IO) x
(bound at src/Control/Monad/Holmes.hs:160:21)
whenever :: Config Holmes (f x2)
-> (forall (m :: * -> *).
MonadCell m =>
[Prop m (f x2)] -> Prop m (f Bool))
-> IO [[f x2]]
(bound at src/Control/Monad/Holmes.hs:160:1)
|
161 | = MoriarT.runAll (MoriarT.solve config f)
| ^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-12658/holmes-0.3.0.0'
cabal: Error: some packages failed to install:
holmes-0.3.0.0-6WQ12pgNP0qB4qeTEyAips failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.