Resolving dependencies...
Downloading cmonad-0.1.1.0...
Configuring cmonad-0.1.1.0...
Building cmonad-0.1.1.0...
Preprocessing library cmonad-0.1.1.0...

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: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))
Failed to install cmonad-0.1.1.0
cabal: Error: some packages failed to install:
cmonad-0.1.1.0 failed during the building phase. The exception was:
ExitFailure 1