Hackage :: [Package]

Build #4 for cmonad-0.1.0.1

[all reports]

Package cmonad-0.1.0.1
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2015-11-16 22:37:47.450618 UTC
Compiler ghc-7.10.2
OS linux
Arch x86_64
Dependencies base-4.8.1.0, array-0.5.1.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring cmonad-0.1.0.1...
Building cmonad-0.1.0.1...
Preprocessing library cmonad-0.1.0.1...

src/Language/CMonad/CPrelude.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Language/CMonad/Prim.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Language/CMonad/Ops.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[1 of 5] Compiling Language.CMonad.MonadRef ( src/Language/CMonad/MonadRef.hs, dist/build/Language/CMonad/MonadRef.o )
[2 of 5] Compiling Language.CMonad.Prim ( src/Language/CMonad/Prim.hs, dist/build/Language/CMonad/Prim.o )

src/Language/CMonad/Prim.hs:63:11:
    Could not deduce (MArray arr0 a m)
    from the context (Ix i, Num i, MArray arr a m)
      bound by the type signature for
                 arrayU :: (Ix i, Num i, MArray arr a m) =>
                           [E m i] -> E m (forall v. [E m i] -> E' v m a)
      at src/Language/CMonad/Prim.hs:(63,11)-(64,54)
    The type variable ‘arr0’ is ambiguous
    In the ambiguity check for the type signature for ‘arrayU’:
      arrayU :: forall (arr :: * -> * -> *) (m :: * -> *) a i.
                (Ix i, Num i, MArray arr a m) =>
                [E m i] -> E m (forall v. [E m i] -> E' v m a)
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the type signature for ‘arrayU’:
      arrayU :: forall arr m a i. (Ix i, Num i, MArray arr a m) =>
                [E m i] -> E m (forall v. [E m i] -> E' v m a)

src/Language/CMonad/Prim.hs:80:11:
    Could not deduce (MArray arr0 a m)
    from the context (Ix i, MArray arr a m)
      bound by the type signature for
                 arrayA :: (Ix i, MArray arr a m) =>
                           Array i a -> E m (forall v. [E m i] -> E' v m a)
      at src/Language/CMonad/Prim.hs:(80,11)-(81,56)
    The type variable ‘arr0’ is ambiguous
    In the ambiguity check for the type signature for ‘arrayA’:
      arrayA :: forall (arr :: * -> * -> *) (m :: * -> *) a i.
                (Ix i, MArray arr a m) =>
                Array i a -> E m (forall v. [E m i] -> E' v m a)
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the type signature for ‘arrayA’:
      arrayA :: forall arr m a i. (Ix i, MArray arr a m) =>
                Array i a -> E m (forall v. [E m i] -> E' v m a)
Failed to install cmonad-0.1.0.1
cabal: Error: some packages failed to install:
cmonad-0.1.0.1 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.