Build #2 for tasty-dejafu-0.2.0.0

[all reports]

Package tasty-dejafu-0.2.0.0
Install DependencyFailed dejafu-0.2.0.0
Docs NotTried
Tests NotTried
Time submitted 2016-11-29 20:42:14.393622 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies base-4.9.0.0, dejafu-0.2.0.0, tasty-0.11.0.4
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring clock-0.7.2...
Building clock-0.7.2...
Building ansi-terminal-0.6.2.3...
Installed clock-0.7.2
Configuring monad-loops-0.4.3...
Building monad-loops-0.4.3...
Configuring mtl-2.2.1...
Installed ansi-terminal-0.6.2.3
Building mtl-2.2.1...
Configuring primitive-0.6.2.0...
Installed monad-loops-0.4.3
Building primitive-0.6.2.0...
Configuring random-1.1...
Installed mtl-2.2.1
Building random-1.1...
Configuring stm-2.4.4.1...
Installed random-1.1
Configuring text-1.2.2.1...
Installed primitive-0.6.2.0
Building stm-2.4.4.1...
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed stm-2.4.4.1
Building transformers-compat-0.5.1.4...
Configuring unbounded-delays-0.1.0.9...
Installed transformers-compat-0.5.1.4
Building unbounded-delays-0.1.0.9...
Installed unbounded-delays-0.1.0.9
Configuring ansi-wl-pprint-0.6.7.3...
Building ansi-wl-pprint-0.6.7.3...
Configuring regex-base-0.93.2...
Installed ansi-wl-pprint-0.6.7.3
Building regex-base-0.93.2...
Configuring atomic-primops-0.8.0.4...
Installed text-1.2.2.1
Configuring async-2.1.1...
Installed regex-base-0.93.2
Building async-2.1.1...
Configuring exceptions-0.8.3...
Installed async-2.1.1
Building atomic-primops-0.8.0.4...
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed atomic-primops-0.8.0.4
Building tagged-0.8.5...
Installed exceptions-0.8.3
Configuring optparse-applicative-0.13.0.0...
Building optparse-applicative-0.13.0.0...
Configuring parsec-3.1.11...
Installed tagged-0.8.5
Building parsec-3.1.11...
Configuring dejafu-0.2.0.0...
Installed optparse-applicative-0.13.0.0
Building dejafu-0.2.0.0...
Installed parsec-3.1.11
Configuring regex-tdfa-1.2.2...
Building regex-tdfa-1.2.2...
Failed to install dejafu-0.2.0.0
Build log ( /home/builder/.cabal/logs/dejafu-0.2.0.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-27095/dejafu-0.2.0.0'
Configuring dejafu-0.2.0.0...
Building dejafu-0.2.0.0...
Preprocessing library dejafu-0.2.0.0...
[ 1 of 19] Compiling Test.DejaFu.Internal ( Test/DejaFu/Internal.hs, dist/build/Test/DejaFu/Internal.o )
[ 2 of 19] Compiling Test.DejaFu.STM.Internal ( Test/DejaFu/STM/Internal.hs, dist/build/Test/DejaFu/STM/Internal.o )
[ 3 of 19] Compiling Data.List.Extra  ( Data/List/Extra.hs, dist/build/Data/List/Extra.o )
[ 4 of 19] Compiling Control.Monad.STM.Class ( Control/Monad/STM/Class.hs, dist/build/Control/Monad/STM/Class.o )
[ 5 of 19] Compiling Test.DejaFu.STM  ( Test/DejaFu/STM.hs, dist/build/Test/DejaFu/STM.o )
[ 6 of 19] Compiling Test.DejaFu.Deterministic.Internal.Common ( Test/DejaFu/Deterministic/Internal/Common.hs, dist/build/Test/DejaFu/Deterministic/Internal/Common.o )
[ 7 of 19] Compiling Test.DejaFu.Deterministic.Internal.Threading ( Test/DejaFu/Deterministic/Internal/Threading.hs, dist/build/Test/DejaFu/Deterministic/Internal/Threading.o )

Test/DejaFu/Deterministic/Internal/Threading.hs:148:3: warning: [-Wname-shadowing]
    This binding for ‘mask’ shadows the existing binding
      defined at Test/DejaFu/Deterministic/Internal/Threading.hs:135:1

Test/DejaFu/Deterministic/Internal/Threading.hs:152:9: warning: [-Wname-shadowing]
    This binding for ‘mask’ shadows the existing binding
      defined at Test/DejaFu/Deterministic/Internal/Threading.hs:135:1
[ 8 of 19] Compiling Test.DejaFu.Deterministic.Internal.Memory ( Test/DejaFu/Deterministic/Internal/Memory.hs, dist/build/Test/DejaFu/Deterministic/Internal/Memory.o )

Test/DejaFu/Deterministic/Internal/Memory.hs:52:4: warning: [-Wname-shadowing]
    This binding for ‘map’ shadows the existing binding
      imported from ‘Prelude’ at Test/DejaFu/Deterministic/Internal/Memory.hs:6:8-48
      (and originally defined in ‘GHC.Base’)
[ 9 of 19] Compiling Test.DejaFu.Deterministic.Internal ( Test/DejaFu/Deterministic/Internal.hs, dist/build/Test/DejaFu/Deterministic/Internal.o )

Test/DejaFu/Deterministic/Internal.hs:196:39: error:
    • Cannot instantiate unification variable ‘t0’
      with a type involving foralls:
        (forall b. M n r s b -> M n r s b) -> Action n r s
        GHC doesn't yet support impredicative polymorphism
    • In the first argument of ‘stepFork’, namely ‘a’
      In the expression: stepFork a b
      In a case alternative: AFork a b -> stepFork a b
    • Relevant bindings include
        b :: ThreadId -> Action n r s
          (bound at Test/DejaFu/Deterministic/Internal.hs:196:14)
        a :: (forall b. M n r s b -> M n r s b) -> Action n r s
          (bound at Test/DejaFu/Deterministic/Internal.hs:196:12)
        stepFork :: forall a (m :: * -> *) t.
                    t
                    -> (ThreadId -> Action n r s)
                    -> m (Either
                            a (Threads n r s, IdSource, ThreadAction, WriteBuffer r, Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:232:5)
        stepMyTId :: forall a (m :: * -> *).
                     Monad m =>
                     (ThreadId -> Action n r s)
                     -> m (Either
                             a (Threads n r s, IdSource, ThreadAction, WriteBuffer r, Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:237:5)
        stepGetNumCapabilities :: forall a (m :: * -> *).
                                  Monad m =>
                                  (Int -> Action n r s)
                                  -> m (Either
                                          a
                                          (Threads n r s, IdSource, ThreadAction, WriteBuffer r,
                                           Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:240:5)
        stepSetNumCapabilities :: forall a (m :: * -> *).
                                  Monad m =>
                                  Int
                                  -> Action n r s
                                  -> m (Either
                                          a
                                          (Threads n r s, IdSource, ThreadAction, WriteBuffer r,
                                           Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:243:5)
        (Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-relevant-binds)

Test/DejaFu/Deterministic/Internal.hs:233:36: error:
    • Couldn't match expected type ‘(forall b. M n r s b -> M n r s b)
                                    -> Action n r s’
                  with actual type ‘t’
        ‘t’ is untouchable
          inside the constraints: ()
          bound by the inferred type of threads' :: Threads n r s
          at Test/DejaFu/Deterministic/Internal.hs:233:7-44
      ‘t’ is a rigid type variable bound by
        the inferred type of
        stepFork :: t
                    -> (ThreadId -> Action n r s)
                    -> m (Either
                            a (Threads n r s, IdSource, ThreadAction, WriteBuffer r, Int))
        at Test/DejaFu/Deterministic/Internal.hs:232:5
      Possible fix: add a type signature for ‘stepFork’
    • In the third argument of ‘launch’, namely ‘a’
      In the expression: launch tid newtid a threads
      In an equation for ‘threads'’:
          threads' = launch tid newtid a threads
    • Relevant bindings include
        threads' :: Threads n r s
          (bound at Test/DejaFu/Deterministic/Internal.hs:233:7)
        b :: ThreadId -> Action n r s
          (bound at Test/DejaFu/Deterministic/Internal.hs:232:16)
        a :: t (bound at Test/DejaFu/Deterministic/Internal.hs:232:14)
        stepFork :: t
                    -> (ThreadId -> Action n r s)
                    -> m (Either
                            a (Threads n r s, IdSource, ThreadAction, WriteBuffer r, Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:232:5)
        stepMyTId :: forall a (m :: * -> *).
                     Monad m =>
                     (ThreadId -> Action n r s)
                     -> m (Either
                             a (Threads n r s, IdSource, ThreadAction, WriteBuffer r, Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:237:5)
        stepGetNumCapabilities :: forall a (m :: * -> *).
                                  Monad m =>
                                  (Int -> Action n r s)
                                  -> m (Either
                                          a
                                          (Threads n r s, IdSource, ThreadAction, WriteBuffer r,
                                           Int))
          (bound at Test/DejaFu/Deterministic/Internal.hs:240:5)
        (Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-relevant-binds)
cabal: Leaving directory '/tmp/cabal-tmp-27095/dejafu-0.2.0.0'
Installed regex-tdfa-1.2.2
Configuring tasty-0.11.0.4...
Building tasty-0.11.0.4...
Installed tasty-0.11.0.4
cabal: Error: some packages failed to install:
dejafu-0.2.0.0 failed during the building phase. The exception was:
ExitFailure 1
tasty-dejafu-0.2.0.0 depends on dejafu-0.2.0.0 which failed to install.

Test log

No test log was submitted for this report.