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 call-stack-0.1.0 Starting clock-0.7.2 Starting colour-2.3.4 Starting base-compat-0.10.5 Building clock-0.7.2 Building call-stack-0.1.0 Building colour-2.3.4 Building base-compat-0.10.5 Completed call-stack-0.1.0 Starting dlist-0.8.0.5 Building dlist-0.8.0.5 Completed clock-0.7.2 Starting erf-2.0.0.0 Building erf-2.0.0.0 Completed erf-2.0.0.0 Starting hashable-1.2.7.0 Completed dlist-0.8.0.5 Starting hspec-discover-2.7.0 Building hashable-1.2.7.0 Building hspec-discover-2.7.0 Completed base-compat-0.10.5 Starting integer-logarithms-1.0.2.2 Completed colour-2.3.4 Building integer-logarithms-1.0.2.2 Starting primitive-0.6.4.0 Building primitive-0.6.4.0 Completed hspec-discover-2.7.0 Starting random-1.1 Completed hashable-1.2.7.0 Starting setenv-0.1.1.3 Completed integer-logarithms-1.0.2.2 Starting tagged-0.8.6 Building random-1.1 Building setenv-0.1.1.3 Building tagged-0.8.6 Completed setenv-0.1.1.3 Starting th-abstraction-0.2.11.0 Building th-abstraction-0.2.11.0 Completed random-1.1 Starting time-locale-compat-0.1.1.5 Completed tagged-0.8.6 Starting validity-0.9.0.1 Building time-locale-compat-0.1.1.5 Building validity-0.9.0.1 Completed time-locale-compat-0.1.1.5 Starting HUnit-1.6.0.0 Building HUnit-1.6.0.0 Completed th-abstraction-0.2.11.0 Starting ansi-terminal-0.9 Completed validity-0.9.0.1 Starting unordered-containers-0.2.10.0 Building ansi-terminal-0.9 Building unordered-containers-0.2.10.0 Completed HUnit-1.6.0.0 Starting uuid-types-1.0.3 Building uuid-types-1.0.3 Completed ansi-terminal-0.9 Starting hspec-expectations-0.8.2 Building hspec-expectations-0.8.2 Completed primitive-0.6.4.0 Starting vector-0.12.0.2 Completed uuid-types-1.0.3 Starting tf-random-0.5 Building vector-0.12.0.2 Building tf-random-0.5 Completed hspec-expectations-0.8.2 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed tf-random-0.5 Starting QuickCheck-2.12.6.1 Completed unordered-containers-0.2.10.0 Building QuickCheck-2.12.6.1 Completed scientific-0.3.6.2 Starting attoparsec-0.13.2.2 Building attoparsec-0.13.2.2 Completed attoparsec-0.13.2.2 Completed QuickCheck-2.12.6.1 Starting quickcheck-io-0.2.0 Starting genvalidity-0.8.0.0 Building quickcheck-io-0.2.0 Building genvalidity-0.8.0.0 Completed quickcheck-io-0.2.0 Starting hspec-core-2.7.0 Building hspec-core-2.7.0 Completed genvalidity-0.8.0.0 Completed vector-0.12.0.2 Starting aeson-1.4.2.0 Building aeson-1.4.2.0 Completed hspec-core-2.7.0 Starting hspec-2.7.0 Building hspec-2.7.0 Completed hspec-2.7.0 Starting genvalidity-property-0.3.0.0 Building genvalidity-property-0.3.0.0 Failed to install genvalidity-property-0.3.0.0 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/genvalidity-property-0.3.0.0-IjkarSDfcfDHKU21YXDdTj.log ): cabal: Entering directory '/tmp/cabal-tmp-31624/genvalidity-property-0.3.0.0' Configuring genvalidity-property-0.3.0.0... Preprocessing library for genvalidity-property-0.3.0.0.. Building library for genvalidity-property-0.3.0.0.. [ 1 of 22] Compiling Paths_genvalidity_property ( dist/build/autogen/Paths_genvalidity_property.hs, dist/build/Paths_genvalidity_property.o ) [ 2 of 22] Compiling Test.Validity.Functions.Idempotence ( src/Test/Validity/Functions/Idempotence.hs, dist/build/Test/Validity/Functions/Idempotence.o ) [ 3 of 22] Compiling Test.Validity.GenValidity.Property ( src/Test/Validity/GenValidity/Property.hs, dist/build/Test/Validity/GenValidity/Property.o ) [ 4 of 22] Compiling Test.Validity.Operations.Associativity ( src/Test/Validity/Operations/Associativity.hs, dist/build/Test/Validity/Operations/Associativity.o ) [ 5 of 22] Compiling Test.Validity.Operations.Commutativity ( src/Test/Validity/Operations/Commutativity.hs, dist/build/Test/Validity/Operations/Commutativity.o ) [ 6 of 22] Compiling Test.Validity.Operations.Identity ( src/Test/Validity/Operations/Identity.hs, dist/build/Test/Validity/Operations/Identity.o ) [ 7 of 22] Compiling Test.Validity.Operations ( src/Test/Validity/Operations.hs, dist/build/Test/Validity/Operations.o ) [ 8 of 22] Compiling Test.Validity.Property.Utils ( src/Test/Validity/Property/Utils.hs, dist/build/Test/Validity/Property/Utils.o ) [ 9 of 22] Compiling Test.Validity.Functions.Validity ( src/Test/Validity/Functions/Validity.hs, dist/build/Test/Validity/Functions/Validity.o ) [10 of 22] Compiling Test.Validity.Relations.Antireflexivity ( src/Test/Validity/Relations/Antireflexivity.hs, dist/build/Test/Validity/Relations/Antireflexivity.o ) [11 of 22] Compiling Test.Validity.Relations.Antisymmetry ( src/Test/Validity/Relations/Antisymmetry.hs, dist/build/Test/Validity/Relations/Antisymmetry.o ) [12 of 22] Compiling Test.Validity.Relations.Reflexivity ( src/Test/Validity/Relations/Reflexivity.hs, dist/build/Test/Validity/Relations/Reflexivity.o ) [13 of 22] Compiling Test.Validity.Relations.Symmetry ( src/Test/Validity/Relations/Symmetry.hs, dist/build/Test/Validity/Relations/Symmetry.o ) [14 of 22] Compiling Test.Validity.Relations.Transitivity ( src/Test/Validity/Relations/Transitivity.hs, dist/build/Test/Validity/Relations/Transitivity.o ) [15 of 22] Compiling Test.Validity.Relations ( src/Test/Validity/Relations.hs, dist/build/Test/Validity/Relations.o ) [16 of 22] Compiling Test.Validity.Shrinking.Property ( src/Test/Validity/Shrinking/Property.hs, dist/build/Test/Validity/Shrinking/Property.o ) [17 of 22] Compiling Test.Validity.Types ( src/Test/Validity/Types.hs, dist/build/Test/Validity/Types.o ) [18 of 22] Compiling Test.Validity.Functions.Inverse ( src/Test/Validity/Functions/Inverse.hs, dist/build/Test/Validity/Functions/Inverse.o ) [19 of 22] Compiling Test.Validity.Functions.Equivalence ( src/Test/Validity/Functions/Equivalence.hs, dist/build/Test/Validity/Functions/Equivalence.o ) [20 of 22] Compiling Test.Validity.Functions.CanFail ( src/Test/Validity/Functions/CanFail.hs, dist/build/Test/Validity/Functions/CanFail.o ) src/Test/Validity/Functions/CanFail.hs:182:48: error: • Could not deduce (GenUnchecked b) arising from a use of ‘genUnchecked’ from the context: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) bound by the type signature for: failsOnInvalid2 :: forall a b c (f :: * -> *). (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property at src/Test/Validity/Functions/CanFail.hs:(170,1)-(180,15) Possible fix: add (GenUnchecked b) to the context of the type signature for: failsOnInvalid2 :: forall a b c (f :: * -> *). (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property • In the fourth argument of ‘failsOnGens2’, namely ‘genUnchecked’ In the first argument of ‘(.&&.)’, namely ‘failsOnGens2 func genInvalid shrinkInvalid genUnchecked shrinkUnchecked’ In the expression: failsOnGens2 func genInvalid shrinkInvalid genUnchecked shrinkUnchecked .&&. failsOnGens2 func genUnchecked shrinkUnchecked genInvalid shrinkInvalid | 182 | failsOnGens2 func genInvalid shrinkInvalid genUnchecked shrinkUnchecked .&&. | ^^^^^^^^^^^^ src/Test/Validity/Functions/CanFail.hs:183:23: error: • Could not deduce (GenUnchecked a) arising from a use of ‘genUnchecked’ from the context: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) bound by the type signature for: failsOnInvalid2 :: forall a b c (f :: * -> *). (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property at src/Test/Validity/Functions/CanFail.hs:(170,1)-(180,15) Possible fix: add (GenUnchecked a) to the context of the type signature for: failsOnInvalid2 :: forall a b c (f :: * -> *). (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property • In the second argument of ‘failsOnGens2’, namely ‘genUnchecked’ In the second argument of ‘(.&&.)’, namely ‘failsOnGens2 func genUnchecked shrinkUnchecked genInvalid shrinkInvalid’ In the expression: failsOnGens2 func genInvalid shrinkInvalid genUnchecked shrinkUnchecked .&&. failsOnGens2 func genUnchecked shrinkUnchecked genInvalid shrinkInvalid | 183 | failsOnGens2 func genUnchecked shrinkUnchecked genInvalid shrinkInvalid | ^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-31624/genvalidity-property-0.3.0.0' Completed aeson-1.4.2.0 cabal: Error: some packages failed to install: genvalidity-hspec-0.7.0.0-1zY0pDy74Ue27SpOLa2SgM depends on genvalidity-hspec-0.7.0.0 which failed to install. genvalidity-hspec-aeson-0.3.1.0-GiQIyPWfZb39kdIUBtfcJn depends on genvalidity-hspec-aeson-0.3.1.0 which failed to install. genvalidity-property-0.3.0.0-IjkarSDfcfDHKU21YXDdTj failed during the building phase. The exception was: ExitFailure 1