Build #3 for reactivity-0.3.2.1

[all reports]

Package reactivity-0.3.2.1
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-11-23 11:05:02.541591 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies array-0.5.1.1, base-4.9.0.0, bmp-1.2.6.3, bytestring-0.10.8.1, containers-0.5.7.1, exceptions-0.8.3, ghc-prim-0.5.0.0, list-extras-0.4.1.4, monad-loops-0.4.3, monads-tf-0.1.0.3, parallel-3.2.1.0, random-1.1, time-1.6.0.1, transformers-0.5.2.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring bmp-1.2.6.3...
Configuring list-extras-0.4.1.4...
Building bmp-1.2.6.3...
Building list-extras-0.4.1.4...
Installed list-extras-0.4.1.4
Configuring monad-loops-0.4.3...
Building monad-loops-0.4.3...
Configuring monads-tf-0.1.0.3...
Installed bmp-1.2.6.3
Configuring parallel-3.2.1.0...
Installed monad-loops-0.4.3
Building monads-tf-0.1.0.3...
Building parallel-3.2.1.0...
Configuring random-1.1...
Installed parallel-3.2.1.0
Building random-1.1...
Configuring mtl-2.2.1...
Installed monads-tf-0.1.0.3
Building mtl-2.2.1...
Configuring stm-2.4.4.1...
Installed random-1.1
Building stm-2.4.4.1...
Configuring transformers-compat-0.5.1.4...
Installed mtl-2.2.1
Building transformers-compat-0.5.1.4...
Installed stm-2.4.4.1
Installed transformers-compat-0.5.1.4
Configuring exceptions-0.8.3...
Building exceptions-0.8.3...
Installed exceptions-0.8.3
Configuring reactivity-0.3.2.1...
Building reactivity-0.3.2.1...
Failed to install reactivity-0.3.2.1
Build log ( /home/builder/.cabal/logs/reactivity-0.3.2.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-5432/reactivity-0.3.2.1'
Configuring reactivity-0.3.2.1...
Building reactivity-0.3.2.1...
Preprocessing library reactivity-0.3.2.1...

src/FRP/Reactivity/RPC.hs:1:20: warning:
    -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
[1 of 8] Compiling FRP.Reactivity.RPC ( src/FRP/Reactivity/RPC.hs, dist/build/FRP/Reactivity/RPC.o )

src/FRP/Reactivity/RPC.hs:18:1: warning: [-Wtabs]
    Tab character found here, and in 22 further locations.
    Please use spaces instead.
[2 of 8] Compiling Data.WeakDict    ( src/Data/WeakDict.hs, dist/build/Data/WeakDict.o )

src/Data/WeakDict.hs:21:1: warning: [-Wtabs]
    Tab character found here, and in 185 further locations.
    Please use spaces instead.
[3 of 8] Compiling Control.CUtils.FChan ( src/Control/CUtils/FChan.hs, dist/build/Control/CUtils/FChan.o )

src/Control/CUtils/FChan.hs:34:1: warning: [-Wtabs]
    Tab character found here, and in 38 further locations.
    Please use spaces instead.
[4 of 8] Compiling Control.CUtils.Conc ( src/Control/CUtils/Conc.hs, dist/build/Control/CUtils/Conc.o )

src/Control/CUtils/Conc.hs:102:68: error:
    • Ambiguous type variable ‘m0’ arising from a use of ‘return’
      prevents the constraint ‘(Monad m0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘m0’ should be.
      These potential instances exist:
        instance ArrowApply a => Monad (ArrowMonad a)
          -- Defined in ‘Control.Arrow’
        instance Monad (Either e) -- Defined in ‘Data.Either’
        instance Monad STM -- Defined in ‘GHC.Conc.Sync’
        ...plus five others
        ...plus 26 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘($!)’, namely ‘return’
      In the expression: return $! f (x, y)
      In the first argument of ‘assocFold’, namely
        ‘(\ x y -> return $! f (x, y))’

src/Control/CUtils/Conc.hs:104:83: error:
    • Could not deduce (Monad m1) arising from a use of ‘return’
      from the context: ?seq::Bool
        bound by the type signature for:
                   arr_concF :: (?seq::Bool) =>
                                ((u, Int) -> t) -> (u, Int) -> Array Int t
        at src/Control/CUtils/Conc.hs:104:9-17
      or from: ?seq::Bool
        bound by the implicit-parameter binding for ?seq
        at src/Control/CUtils/Conc.hs:104:36-111
      The type variable ‘m1’ is ambiguous
      These potential instances exist:
        instance ArrowApply a => Monad (ArrowMonad a)
          -- Defined in ‘Control.Arrow’
        instance Monad (Either e) -- Defined in ‘Data.Either’
        instance Monad STM -- Defined in ‘GHC.Conc.Sync’
        ...plus five others
        ...plus 26 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘($!)’, namely ‘return’
      In the first argument of ‘(.)’, namely ‘(return $!)’
      In the second argument of ‘concF’, namely
        ‘((return $!) . mnds . (,) parm)’

src/Control/CUtils/Conc.hs:105:66: error:
    • Ambiguous type variable ‘m2’ arising from a use of ‘return’
      prevents the constraint ‘(Monad m2)’ from being solved.
      Probable fix: use a type annotation to specify what ‘m2’ should be.
      These potential instances exist:
        instance ArrowApply a => Monad (ArrowMonad a)
          -- Defined in ‘Control.Arrow’
        instance Monad (Either e) -- Defined in ‘Data.Either’
        instance Monad STM -- Defined in ‘GHC.Conc.Sync’
        ...plus five others
        ...plus 26 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘($!)’, namely ‘return’
      In the first argument of ‘(.)’, namely ‘(return $!)’
      In the second argument of ‘oneOfF’, namely
        ‘((return $!) . mnds . (,) parm)’

src/Control/CUtils/Conc.hs:108:1: error:
    • Non type-variable argument
        in the constraint: Concurrent (Kleisli m)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        assocFold :: forall c (m :: * -> *) b.
                     Concurrent (Kleisli m) =>
                     (b -> b -> m b) -> (c -> b) -> (b, Array Int c) -> m b

src/Control/CUtils/Conc.hs:113:1: error:
    • Non type-variable argument
        in the constraint: Concurrent (Kleisli m)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        concF_ :: forall (m :: * -> *).
                  (?seq::Bool, Concurrent (Kleisli m)) =>
                  Int -> (Int -> m ()) -> m ()

src/Control/CUtils/Conc.hs:116:1: error:
    • Non type-variable argument
        in the constraint: Concurrent (Kleisli m)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        concF :: forall t (m :: * -> *).
                 (?seq::Bool, Concurrent (Kleisli m)) =>
                 Int -> (Int -> m t) -> m (Array Int t)

src/Control/CUtils/Conc.hs:124:1: error:
    • Non type-variable argument in the constraint: MArray IOArray e m
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        partConcF :: forall e a (m :: * -> *).
                     MArray IOArray e m =>
                     (Int, Int)
                     -> ((Int -> m ()) -> IO a) -> (Int -> m e) -> IO (Array Int e)

src/Control/CUtils/Conc.hs:168:1: error:
    • Non type-variable argument
        in the constraint: Concurrent (Kleisli m)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        oneOfF :: forall b (m :: * -> *).
                  Concurrent (Kleisli m) =>
                  Int -> (Int -> m b) -> m b
cabal: Leaving directory '/tmp/cabal-tmp-5432/reactivity-0.3.2.1'
cabal: Error: some packages failed to install:
reactivity-0.3.2.1 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.