Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-7770/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.22145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-7770/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-7770/CC-delcont-cxe-0.1.0.2'
Configuring CC-delcont-cxe-0.1.0.2...
Building CC-delcont-cxe-0.1.0.2...
Preprocessing library CC-delcont-cxe-0.1.0.2...
[1 of 1] Compiling Control.Monad.CC.CCCxe ( Control/Monad/CC/CCCxe.hs, dist/build/Control/Monad/CC/CCCxe.o )
Control/Monad/CC/CCCxe.hs:95:10: error:
• Could not deduce (Applicative (CC p m))
arising from the superclasses of an instance declaration
from the context: Monad m
bound by the instance declaration
at Control/Monad/CC/CCCxe.hs:95:10-34
• In the instance declaration for ‘Monad (CC p m)’
Control/Monad/CC/CCCxe.hs:215:30: error:
• Couldn't match type ‘a1’ with ‘SubCont PP t t1 w1 -> CC PP t w1’
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall a1. Maybe a1
at Control/Monad/CC/CCCxe.hs:215:30
Expected type: NCCT PP t t1 w1 -> forall a. Maybe a
Actual type: NCCT PP t t1 w1
-> Maybe (SubCont PP t t1 w1 -> CC PP t w1)
• In the second argument of ‘maybe’, namely ‘(Just . unNCCT)’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PP c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
• Relevant bindings include
c :: CCT PP t t1 w2 (bound at Control/Monad/CC/CCCxe.hs:215:10)
prj :: PP t t1 -> Maybe a
(bound at Control/Monad/CC/CCCxe.hs:215:2)
Control/Monad/CC/CCCxe.hs:215:46: error:
• Could not deduce (Typeable w1) arising from a use of ‘gcast’
from the context: Typeable w
bound by the type signature for:
pp :: Typeable w => Prompt PP m w
at Control/Monad/CC/CCCxe.hs:211:1-33
or from: Typeable w2
bound by a pattern with constructor:
PP :: forall (m :: * -> *) x w.
Typeable w =>
CCT PP m x w -> PP m x,
in an equation for ‘prj’
at Control/Monad/CC/CCCxe.hs:215:7-10
The type variable ‘w1’ is ambiguous
• In the third argument of ‘maybe’, namely ‘(gcast (NCCT c))’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PP c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
Control/Monad/CC/CCCxe.hs:228:30: error:
• Couldn't match type ‘a1’
with ‘SubCont (PM t) t1 t2 w0 -> CC (PM t) t1 w0’
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall a1. Maybe a1
at Control/Monad/CC/CCCxe.hs:228:30
Expected type: NCCT (PM t) t1 t2 w0 -> forall a. Maybe a
Actual type: NCCT (PM t) t1 t2 w0
-> Maybe (SubCont (PM t) t1 t2 w0 -> CC (PM t) t1 w0)
• In the second argument of ‘maybe’, namely ‘(Just . unNCCT)’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PM c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
• Relevant bindings include
c :: CCT (PM t) t1 t2 w2
(bound at Control/Monad/CC/CCCxe.hs:228:10)
prj :: PM t t1 t2 -> Maybe a
(bound at Control/Monad/CC/CCCxe.hs:228:2)
Control/Monad/CC/CCCxe.hs:228:46: error:
• Could not deduce (Typeable w0) arising from a use of ‘gcast’
from the context: Typeable w
bound by the type signature for:
pm :: Typeable w => Prompt (PM c) m w
at Control/Monad/CC/CCCxe.hs:224:1-37
or from: Typeable w2
bound by a pattern with constructor:
PM :: forall c (m :: * -> *) x w.
Typeable w =>
CCT (PM c) m x w -> PM c m x,
in an equation for ‘prj’
at Control/Monad/CC/CCCxe.hs:228:7-10
The type variable ‘w0’ is ambiguous
• In the third argument of ‘maybe’, namely ‘(gcast (NCCT c))’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PM c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
Control/Monad/CC/CCCxe.hs:242:55: error:
• Couldn't match expected type ‘forall a1. Maybe a1’
with actual type ‘Maybe (CCT PD t t1 b0)’
• In the expression: Just x
In an equation for ‘prj’:
prj (PD mark' c)
| mark' == mark, Just (NCCT x) <- gcast (NCCT c) = Just x
In an equation for ‘newPrompt’:
newPrompt mark
= (inj, prj)
where
inj = PD mark
prj (PD mark' c)
| mark' == mark, Just (NCCT x) <- gcast (NCCT c) = Just x
prj _ = Nothing
• Relevant bindings include
x :: CCT PD t t1 b0 (bound at Control/Monad/CC/CCCxe.hs:242:32)
c :: CCT PD t t1 w2 (bound at Control/Monad/CC/CCCxe.hs:241:16)
prj :: PD t t1 -> forall a. Maybe a
(bound at Control/Monad/CC/CCCxe.hs:241:2)
cabal: Leaving directory '/tmp/cabal-tmp-7770/CC-delcont-cxe-0.1.0.2'
Failed to install CC-delcont-cxe-0.1.0.2
cabal: Entering directory '/tmp/cabal-tmp-7770/CC-delcont-exc-0.1.0.0'
Configuring CC-delcont-exc-0.1.0.0...
Building CC-delcont-exc-0.1.0.0...
Preprocessing library CC-delcont-exc-0.1.0.0...
[1 of 1] Compiling Control.Monad.CC.CCExc ( Control/Monad/CC/CCExc.hs, dist/build/Control/Monad/CC/CCExc.o )
Control/Monad/CC/CCExc.hs:100:10: error:
• Could not deduce (Applicative (CC p m))
arising from the superclasses of an instance declaration
from the context: Monad m
bound by the instance declaration
at Control/Monad/CC/CCExc.hs:100:10-34
• In the instance declaration for ‘Monad (CC p m)’
Control/Monad/CC/CCExc.hs:223:30: error:
• Couldn't match type ‘a1’ with ‘SubCont PP t t1 w1 -> CC PP t w1’
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall a1. Maybe a1
at Control/Monad/CC/CCExc.hs:223:30
Expected type: NCCT PP t t1 w1 -> forall a. Maybe a
Actual type: NCCT PP t t1 w1
-> Maybe (SubCont PP t t1 w1 -> CC PP t w1)
• In the second argument of ‘maybe’, namely ‘(Just . unNCCT)’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PP c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
• Relevant bindings include
c :: CCT PP t t1 w2 (bound at Control/Monad/CC/CCExc.hs:223:10)
prj :: PP t t1 -> Maybe a
(bound at Control/Monad/CC/CCExc.hs:223:2)
Control/Monad/CC/CCExc.hs:223:46: error:
• Could not deduce (Typeable w1) arising from a use of ‘gcast’
from the context: Typeable w
bound by the type signature for:
pp :: Typeable w => Prompt PP m w
at Control/Monad/CC/CCExc.hs:219:1-33
or from: Typeable w2
bound by a pattern with constructor:
PP :: forall (m :: * -> *) x w.
Typeable w =>
CCT PP m x w -> PP m x,
in an equation for ‘prj’
at Control/Monad/CC/CCExc.hs:223:7-10
The type variable ‘w1’ is ambiguous
• In the third argument of ‘maybe’, namely ‘(gcast (NCCT c))’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PP c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
Control/Monad/CC/CCExc.hs:236:30: error:
• Couldn't match type ‘a1’
with ‘SubCont (PM t) t1 t2 w0 -> CC (PM t) t1 w0’
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall a1. Maybe a1
at Control/Monad/CC/CCExc.hs:236:30
Expected type: NCCT (PM t) t1 t2 w0 -> forall a. Maybe a
Actual type: NCCT (PM t) t1 t2 w0
-> Maybe (SubCont (PM t) t1 t2 w0 -> CC (PM t) t1 w0)
• In the second argument of ‘maybe’, namely ‘(Just . unNCCT)’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PM c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
• Relevant bindings include
c :: CCT (PM t) t1 t2 w2
(bound at Control/Monad/CC/CCExc.hs:236:10)
prj :: PM t t1 t2 -> Maybe a
(bound at Control/Monad/CC/CCExc.hs:236:2)
Control/Monad/CC/CCExc.hs:236:46: error:
• Could not deduce (Typeable w0) arising from a use of ‘gcast’
from the context: Typeable w
bound by the type signature for:
pm :: Typeable w => Prompt (PM c) m w
at Control/Monad/CC/CCExc.hs:232:1-37
or from: Typeable w2
bound by a pattern with constructor:
PM :: forall c (m :: * -> *) x w.
Typeable w =>
CCT (PM c) m x w -> PM c m x,
in an equation for ‘prj’
at Control/Monad/CC/CCExc.hs:236:7-10
The type variable ‘w0’ is ambiguous
• In the third argument of ‘maybe’, namely ‘(gcast (NCCT c))’
In the expression: maybe Nothing (Just . unNCCT) (gcast (NCCT c))
In an equation for ‘prj’:
prj (PM c) = maybe Nothing (Just . unNCCT) (gcast (NCCT c))
Control/Monad/CC/CCExc.hs:250:55: error:
• Couldn't match expected type ‘forall a1. Maybe a1’
with actual type ‘Maybe (CCT PD t t1 b0)’
• In the expression: Just x
In an equation for ‘prj’:
prj (PD mark' c)
| mark' == mark, Just (NCCT x) <- gcast (NCCT c) = Just x
In an equation for ‘newPrompt’:
newPrompt mark
= (inj, prj)
where
inj = PD mark
prj (PD mark' c)
| mark' == mark, Just (NCCT x) <- gcast (NCCT c) = Just x
prj _ = Nothing
• Relevant bindings include
x :: CCT PD t t1 b0 (bound at Control/Monad/CC/CCExc.hs:250:32)
c :: CCT PD t t1 w2 (bound at Control/Monad/CC/CCExc.hs:249:16)
prj :: PD t t1 -> forall a. Maybe a
(bound at Control/Monad/CC/CCExc.hs:249:2)
cabal: Leaving directory '/tmp/cabal-tmp-7770/CC-delcont-exc-0.1.0.0'
Failed to install CC-delcont-exc-0.1.0.0
cabal: Entering directory '/tmp/cabal-tmp-7770/CC-delcont-ref-0.1.0.0'
Configuring CC-delcont-ref-0.1.0.0...
Building CC-delcont-ref-0.1.0.0...
Preprocessing library CC-delcont-ref-0.1.0.0...
[1 of 2] Compiling Mutation ( Mutation.hs, dist/build/Mutation.o )
[2 of 2] Compiling Control.Monad.CC.CCRef ( Control/Monad/CC/CCRef.hs, dist/build/Control/Monad/CC/CCRef.o )
Control/Monad/CC/CCRef.hs:147:10: error:
• Could not deduce (Applicative (CC m))
arising from the superclasses of an instance declaration
from the context: Monad m
bound by the instance declaration
at Control/Monad/CC/CCRef.hs:147:10-32
• In the instance declaration for ‘Monad (CC m)’
Control/Monad/CC/CCRef.hs:231:2: error:
• Illegal equational constraint Ref m2 ~ Ref m1
(Use GADTs or TypeFamilies to permit this)
• When checking the inferred type
loop :: forall (m :: * -> *) (m1 :: * -> *).
(Ref m1 ~ Ref m, Mutation m, Monad m) =>
[PFrame m1]
-> [PFrame m1] -> m (PFrame m1, [PFrame m1], [PFrame m1])
In an equation for ‘unwind’:
unwind acc mark stack
= with_marked_mark mark (loop acc stack)
where
loop acc [] = error "No prompt was set"
loop acc s@(h : t)
= do { marked <- is_marked (pfr_mark h);
.... }
Control/Monad/CC/CCRef.hs:241:2: error:
• Illegal equational constraint Ref m2 ~ Ref m1
(Use GADTs or TypeFamilies to permit this)
• When checking the inferred type
loop :: forall (m :: * -> *) (m1 :: * -> *).
(Ref m1 ~ Ref m, Mutation m, Monad m) =>
[PFrame m1] -> m (PFrame m1, [PFrame m1])
In an equation for ‘unwind_abort’:
unwind_abort mark stack
= with_marked_mark mark (loop stack)
where
loop [] = error "No prompt was set"
loop s@(h : t)
= do { marked <- is_marked (pfr_mark h);
.... }
Control/Monad/CC/CCRef.hs:343:2: error:
• Illegal equational constraint Ref m2 ~ Ref m1
(Use GADTs or TypeFamilies to permit this)
• When checking the inferred type
loop :: forall (m :: * -> *) (m1 :: * -> *).
(Ref m1 ~ Ref m, Mutation m, Monad m) =>
[PFrame m1] -> m Bool
In an equation for ‘isPromptSet’:
isPromptSet p
= do { stack <- get_pstack;
with_marked_mark (mark p) (loop stack) }
where
loop [] = return False
loop s@(h : t)
= do { marked <- is_marked (pfr_mark h);
.... }
cabal: Leaving directory '/tmp/cabal-tmp-7770/CC-delcont-ref-0.1.0.0'
Failed to install CC-delcont-ref-0.1.0.0
cabal: Error: some packages failed to install:
CC-delcont-alt-0.1.1.1 depends on CC-delcont-cxe-0.1.0.2 which failed to
install.
CC-delcont-cxe-0.1.0.2 failed during the building phase. The exception was:
ExitFailure 1
CC-delcont-exc-0.1.0.0 failed during the building phase. The exception was:
ExitFailure 1
CC-delcont-ref-0.1.0.0 failed during the building phase. The exception was:
ExitFailure 1