Build #5 for cmonad-0.1.1.1
| Package | cmonad-0.1.1.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-12 08:30:40.640997 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.1.1...
Building cmonad-0.1.1.1...
Preprocessing library cmonad-0.1.1.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:29:10:
Could not deduce (Applicative (E' RValue m))
arising from the superclasses of an instance declaration
from the context (Monad m)
bound by the instance declaration
at src/Language/CMonad/Prim.hs:29:10-41
In the instance declaration for ‘Monad (E' RValue m)’
src/Language/CMonad/Prim.hs:48:13:
Couldn't match expected type ‘forall v. E' v m a’
with actual type ‘E' v0 m a’
Relevant bindings include
r :: r a (bound at src/Language/CMonad/Prim.hs:47:5)
x' :: a (bound at src/Language/CMonad/Prim.hs:46:5)
x :: E m a (bound at src/Language/CMonad/Prim.hs:45:6)
auto :: E m a -> E m (forall v. E' v m a)
(bound at src/Language/CMonad/Prim.hs:45:1)
In the first argument of ‘return’, namely
‘(V (readRef r) (writeRef r))’
In a stmt of a 'do' block: return (V (readRef r) (writeRef r))
src/Language/CMonad/Prim.hs:59:12:
Couldn't match expected type ‘forall v. [E m i] -> E' v m a’
with actual type ‘[E m i] -> E' v1 m a’
Relevant bindings include
f :: [E m i] -> E' v1 m a
(bound at src/Language/CMonad/Prim.hs:58:9)
ix :: [E m i] -> m i (bound at src/Language/CMonad/Prim.hs:56:9)
a :: arr i a (bound at src/Language/CMonad/Prim.hs:54:11)
liftArray :: arr i a -> E m (forall v. [E m i] -> E' v m a)
(bound at src/Language/CMonad/Prim.hs:54:1)
In the first argument of ‘return’, namely ‘f’
In a stmt of a 'do' block: return f
src/Language/CMonad/Prim.hs:75:13:
Couldn't match expected type ‘[E m i] -> E' v2 m a’
with actual type ‘forall v. [E m i] -> E' v m a’
Relevant bindings include
a :: arr i a (bound at src/Language/CMonad/Prim.hs:74:5)
sz :: i (bound at src/Language/CMonad/Prim.hs:67:9)
ix :: [E m i] -> m i (bound at src/Language/CMonad/Prim.hs:69:9)
ss' :: [i] (bound at src/Language/CMonad/Prim.hs:66:5)
ss :: [E m i] (bound at src/Language/CMonad/Prim.hs:65:8)
arrayU :: [E m i] -> E m (forall v. [E m i] -> E' v m a)
(bound at src/Language/CMonad/Prim.hs:65:1)
The lambda expression ‘\ is
-> V (ix is >>= readArray a) (\ x -> ...)’
has one argument,
but its type ‘forall v. [E m i] -> E' v m a’ has none
In the first argument of ‘return’, namely
‘(\ is
-> V (ix is >>= readArray a)
(\ x -> ix is >>= \ i -> writeArray a i x))’
In a stmt of a 'do' block:
return
(\ is
-> V (ix is >>= readArray a)
(\ x -> ix is >>= \ i -> writeArray a i x))
src/Language/CMonad/Prim.hs:92:5:
Could not deduce (Applicative (E' RValue m))
arising from a do statement
from the context (Monad m)
bound by the type signature for
(=:) :: Monad m => V m a -> E m a -> E m a
at src/Language/CMonad/Prim.hs:90:9-44
In a stmt of a 'do' block: e' <- e
In the expression:
do { e' <- e;
E (asg e');
return e' }
In an equation for ‘=:’:
(V _ asg) =: e
= do { e' <- e;
E (asg e');
return e' }
Failed to install cmonad-0.1.1.1
cabal: Error: some packages failed to install:
cmonad-0.1.1.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.