Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-7907/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-7907/mtl-2.2.1' Installed mtl-2.2.1 cabal: Entering directory '/tmp/cabal-tmp-7907/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-7907/CC-delcont-cxe-0.1.0.2' Failed to install CC-delcont-cxe-0.1.0.2 cabal: Entering directory '/tmp/cabal-tmp-7907/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-7907/CC-delcont-exc-0.1.0.0' Failed to install CC-delcont-exc-0.1.0.0 cabal: Entering directory '/tmp/cabal-tmp-7907/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-7907/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