Build #3 for genvalidity-hspec-aeson-0.3.1.0

[all reports]

Package genvalidity-hspec-aeson-0.3.1.0
Install DependencyFailed genvalidity-hspec-aeson-0.3.1.0
Docs NotTried
Tests NotTried
Time submitted 2019-03-07 14:58:24.09764726 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies QuickCheck-2.12.6.1, aeson-1.4.2.0, base-4.12.0.0, bytestring-0.10.8.2, deepseq-1.4.4.0, genvalidity-0.8.0.0, genvalidity-hspec-0.7.0.0, hspec-2.7.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     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

Test log

No test log was submitted for this report.