Build #6 for CC-delcont-alt-0.1.1.1

[all reports]

Package CC-delcont-alt-0.1.1.1
Install DependencyFailed CC-delcont-cxe-0.1.0.2
Docs NotTried
Tests NotTried
Time submitted 2016-10-23 19:52:35.092991 UTC
Compiler ghc-8.0.1.20160701
OS linux
Arch x86_64
Dependencies CC-delcont-cxe-0.1.0.2, CC-delcont-exc-0.1.0.0, CC-delcont-ref-0.1.0.0, base-4.9.0.0, mtl-2.2.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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