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 erf-2.0.0.0 Starting base-orphans-0.8.2 Starting exceptions-0.10.4 Starting colour-2.3.5 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 Building unordered-containers-0.2.10.0 Completed ansi-terminal-0.10.3 Starting async-2.2.2 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 Building mmorph-1.1.3 Starting constraints-0.12 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 Completed haskell-lexer-1.1 Starting pretty-show-1.10 Building monad-control-1.0.2.3 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 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-25271/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-25271/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