Build #7 for dedukti-1.1.2

[all reports]

Package dedukti-1.1.2
Install DependencyFailed hmk-0.9.7.4
Docs NotTried
Tests NotTried
Time submitted 2016-12-30 04:22:22.3821 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies time-1.6.0.1, unix-2.7.2.0, Stream-0.3.1, base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, directory-1.2.6.2, filepath-1.4.1.0, haskell-src-exts-1.18.2, haskell-src-exts-qq-0.7, hmk-0.9.7.4, mtl-2.2.1, parsec-3.1.11, process-1.4.2.0, stringtable-atom-0.0.7, wl-pprint-1.2
Flags -test

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring lazysmallcheck-0.6...
Configuring mtl-2.2.1...
Building lazysmallcheck-0.6...
Building mtl-2.2.1...
Installed lazysmallcheck-0.6
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Configuring pcre-light-0.4.0.4...
Installed old-locale-1.0.0.7
Building pcre-light-0.4.0.4...
Configuring primitive-0.6.2.0...
Installed mtl-2.2.1
Building primitive-0.6.2.0...
Configuring safe-0.3.10...
Installed pcre-light-0.4.0.4
Building safe-0.3.10...
Configuring random-1.1...
Installed safe-0.3.10
Building random-1.1...
Configuring syb-0.6...
Installed primitive-0.6.2.0
Building syb-0.6...
Configuring th-lift-0.7.6...
Installed random-1.1
Building th-lift-0.7.6...
Configuring text-1.2.2.1...
Installed syb-0.6
Configuring wl-pprint-1.2...
Installed th-lift-0.7.6
Building text-1.2.2.1...
Building wl-pprint-1.2...
Installed wl-pprint-1.2
Configuring old-time-1.1.0.3...
Building old-time-1.1.0.3...
Configuring tf-random-0.5...
Installed old-time-1.1.0.3
Building tf-random-0.5...
Configuring stringtable-atom-0.0.7...
Installed tf-random-0.5
Building stringtable-atom-0.0.7...
Configuring th-expand-syns-0.4.1.0...
Installed stringtable-atom-0.0.7
Building th-expand-syns-0.4.1.0...
Configuring QuickCheck-2.9.2...
Installed text-1.2.2.1
Building QuickCheck-2.9.2...
Installed th-expand-syns-0.4.1.0
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Configuring polyparse-1.12...
Installed parsec-3.1.11
Building polyparse-1.12...
Configuring th-reify-many-0.1.6...
Installed polyparse-1.12
Building th-reify-many-0.1.6...
Installed QuickCheck-2.9.2
Configuring hmk-0.9.7.4...
Building hmk-0.9.7.4...
Installed th-reify-many-0.1.6
Configuring cpphs-1.20.2...
Building cpphs-1.20.2...
Configuring Stream-0.3.1...
Failed to install hmk-0.9.7.4
Build log ( /home/builder/.cabal/logs/hmk-0.9.7.4.log ):
cabal: Entering directory '/tmp/cabal-tmp-15139/hmk-0.9.7.4'
Configuring hmk-0.9.7.4...
Building hmk-0.9.7.4...
Preprocessing library hmk-0.9.7.4...
[1 of 5] Compiling Control.Hmk[boot] ( Control/Hmk.lhs-boot, dist/build/Control/Hmk.o-boot )
[2 of 5] Compiling Control.Hmk.Analyze ( Control/Hmk/Analyze.lhs, dist/build/Control/Hmk/Analyze.o )
[3 of 5] Compiling Control.Hmk.Concurrent ( Control/Hmk/Concurrent.lhs, dist/build/Control/Hmk/Concurrent.o )
[4 of 5] Compiling Control.Hmk      ( Control/Hmk.lhs, dist/build/Control/Hmk.o )
[5 of 5] Compiling Control.Hmk.IO   ( Control/Hmk/IO.lhs, dist/build/Control/Hmk/IO.o )
Preprocessing executable 'hmk' for hmk-0.9.7.4...
[1 of 9] Compiling Parse            ( Parse.lhs, dist/build/hmk/hmk-tmp/Parse.o )

Parse.lhs:26:3: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[2 of 9] Compiling Control.Hmk[boot] ( Control/Hmk.lhs-boot, dist/build/hmk/hmk-tmp/Control/Hmk.o-boot )
[3 of 9] Compiling Control.Hmk.Analyze ( Control/Hmk/Analyze.lhs, dist/build/hmk/hmk-tmp/Control/Hmk/Analyze.o )
[4 of 9] Compiling Control.Hmk.Concurrent ( Control/Hmk/Concurrent.lhs, dist/build/hmk/hmk-tmp/Control/Hmk/Concurrent.o )

Control/Hmk/Concurrent.lhs:20:3: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()
[5 of 9] Compiling Control.Hmk      ( Control/Hmk.lhs, dist/build/hmk/hmk-tmp/Control/Hmk.o )
[6 of 9] Compiling Control.Hmk.IO   ( Control/Hmk/IO.lhs, dist/build/hmk/hmk-tmp/Control/Hmk/IO.o )
[7 of 9] Compiling Eval             ( Eval.lhs, dist/build/hmk/hmk-tmp/Eval.o )

Eval.lhs:146:65: error:
    • Ambiguous type variable ‘m0’ arising from a use of ‘eval'’
      prevents the constraint ‘(Foldable m0)’ from being solved.
      Relevant bindings include
        virtuals :: m0 [Char] (bound at Eval.lhs:146:40)
      Probable fix: use a type annotation to specify what ‘m0’ should be.
      These potential instances exist:
        instance Foldable ZipList -- Defined in ‘Control.Applicative’
        instance Foldable (Either a) -- Defined in ‘Data.Foldable’
        instance Foldable Dual -- Defined in ‘Data.Foldable’
        ...plus 13 others
        ...plus 29 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘runWriterT’, namely
        ‘(eval' virtuals mkfile)’
      In a stmt of an 'mdo' block:
        (rules, RevAppend virtuals) <- runWriterT (eval' virtuals mkfile)
      In a stmt of an 'mdo' block:
        rec { (rules, RevAppend virtuals) <- runWriterT
                                               (eval' virtuals mkfile) }
cabal: Leaving directory '/tmp/cabal-tmp-15139/hmk-0.9.7.4'
Building Stream-0.3.1...
Configuring th-orphans-0.13.0...
Installed Stream-0.3.1
Building th-orphans-0.13.0...
Installed cpphs-1.20.2
Configuring haskell-src-exts-1.18.2...
Building haskell-src-exts-1.18.2...
Installed th-orphans-0.13.0
Installed haskell-src-exts-1.18.2
Configuring haskell-src-meta-0.7.0...
Building haskell-src-meta-0.7.0...
Installed haskell-src-meta-0.7.0
Configuring haskell-src-exts-qq-0.7...
Building haskell-src-exts-qq-0.7...
Failed to install haskell-src-exts-qq-0.7
Build log ( /home/builder/.cabal/logs/haskell-src-exts-qq-0.7.log ):
cabal: Entering directory '/tmp/cabal-tmp-15138/haskell-src-exts-qq-0.7'
Configuring haskell-src-exts-qq-0.7...
Building haskell-src-exts-qq-0.7...
Preprocessing library haskell-src-exts-qq-0.7...
[1 of 1] Compiling Language.Haskell.Exts.QQ ( Language/Haskell/Exts/QQ.hs, dist/build/Language/Haskell/Exts/QQ.o )

Language/Haskell/Exts/QQ.hs:99:18: error:
    • Expecting one more argument to ‘Hs.Module’
      Expected a type, but ‘Hs.Module’ has kind ‘* -> *’
    • In the type signature:
        strip :: Hs.Module -> [Hs.Decl]
      In an equation for ‘decsWithMode’:
          decsWithMode mode
            = qq $ \ src -> fmap strip $ Hs.parseModuleWithMode mode src
            where
                strip :: Hs.Module -> [Hs.Decl]
                strip (Hs.Module _ _ _ _ _ _ decs) = decs

Language/Haskell/Exts/QQ.hs:99:32: error:
    • Expecting one more argument to ‘Hs.Decl’
      Expected a type, but ‘Hs.Decl’ has kind ‘* -> *’
    • In the type signature:
        strip :: Hs.Module -> [Hs.Decl]
      In an equation for ‘decsWithMode’:
          decsWithMode mode
            = qq $ \ src -> fmap strip $ Hs.parseModuleWithMode mode src
            where
                strip :: Hs.Module -> [Hs.Decl]
                strip (Hs.Module _ _ _ _ _ _ decs) = decs

Language/Haskell/Exts/QQ.hs:156:19: error:
    • Could not deduce (Typeable b3) arising from a use of ‘extQ’
      from the context: Data a
        bound by the type signature for:
                   antiquoteExp :: Data a => a -> Q Exp
        at Language/Haskell/Exts/QQ.hs:154:1-36
      or from: Data b
        bound by a type expected by the context:
                   Data b => b -> Maybe (Q Exp)
        at Language/Haskell/Exts/QQ.hs:(155,18)-(156,86)
      The type variable ‘b3’ is ambiguous
    • In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE’
      In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE `extQ` antiP’
      In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE `extQ` antiP `extQ` antiN’

Language/Haskell/Exts/QQ.hs:156:19: error:
    • Could not deduce (Typeable b2) arising from a use of ‘extQ’
      from the context: Data a
        bound by the type signature for:
                   antiquoteExp :: Data a => a -> Q Exp
        at Language/Haskell/Exts/QQ.hs:154:1-36
      or from: Data b
        bound by a type expected by the context:
                   Data b => b -> Maybe (Q Exp)
        at Language/Haskell/Exts/QQ.hs:(155,18)-(156,86)
      The type variable ‘b2’ is ambiguous
    • In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE `extQ` antiP’
      In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE `extQ` antiP `extQ` antiN’
      In the fourth argument of ‘dataToQa’, namely
        ‘(const Nothing `extQ` antiE `extQ` antiP `extQ` antiN
          `extQ` antiT)’

Language/Haskell/Exts/QQ.hs:156:19: error:
    • Could not deduce (Typeable b1) arising from a use of ‘extQ’
      from the context: Data a
        bound by the type signature for:
                   antiquoteExp :: Data a => a -> Q Exp
        at Language/Haskell/Exts/QQ.hs:154:1-36
      or from: Data b
        bound by a type expected by the context:
                   Data b => b -> Maybe (Q Exp)
        at Language/Haskell/Exts/QQ.hs:(155,18)-(156,86)
      The type variable ‘b1’ is ambiguous
    • In the first argument of ‘extQ’, namely
        ‘const Nothing `extQ` antiE `extQ` antiP `extQ` antiN’
      In the fourth argument of ‘dataToQa’, namely
        ‘(const Nothing `extQ` antiE `extQ` antiP `extQ` antiN
          `extQ` antiT)’
      In the expression:
        dataToQa
          (conE . qualify)
          litE
          (foldl appE)
          (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
          t

Language/Haskell/Exts/QQ.hs:156:19: error:
    • Could not deduce (Typeable b0) arising from a use of ‘extQ’
      from the context: Data a
        bound by the type signature for:
                   antiquoteExp :: Data a => a -> Q Exp
        at Language/Haskell/Exts/QQ.hs:154:1-36
      or from: Data b
        bound by a type expected by the context:
                   Data b => b -> Maybe (Q Exp)
        at Language/Haskell/Exts/QQ.hs:(155,18)-(156,86)
      The type variable ‘b0’ is ambiguous
    • In the fourth argument of ‘dataToQa’, namely
        ‘(const Nothing `extQ` antiE `extQ` antiP `extQ` antiN
          `extQ` antiT)’
      In the expression:
        dataToQa
          (conE . qualify)
          litE
          (foldl appE)
          (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
          t
      In an equation for ‘antiquoteExp’:
          antiquoteExp t
            = dataToQa
                (conE . qualify)
                litE
                (foldl appE)
                (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
                t
            where
                antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
                antiE (Hs.SpliceExp (Hs.ParenSplice e))
                  = Just $ return $ Hs.toExp e
                antiE _ = Nothing
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ appE [| Hs.PVar |] (varE (mkName n))
                antiP _ = Nothing
                antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
                  = Just . varE $ mkName n
                antiT _ = Nothing
                antiN (Hs.Ident n)
                  | "__" `isPrefixOf` n, "__" `isSuffixOf` n
                  = let ... in Just $ appE [| Hs.Ident |] (varE (mkName nn))
                antiN _ = Nothing

Language/Haskell/Exts/QQ.hs:157:18: error:
    • The constructor ‘Hs.SpliceExp’ should have 2 arguments, but has been given 1
    • In the pattern: Hs.SpliceExp (Hs.IdSplice v)
      In an equation for ‘antiE’:
          antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
      In an equation for ‘antiquoteExp’:
          antiquoteExp t
            = dataToQa
                (conE . qualify)
                litE
                (foldl appE)
                (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
                t
            where
                antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
                antiE (Hs.SpliceExp (Hs.ParenSplice e))
                  = Just $ return $ Hs.toExp e
                antiE _ = Nothing
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ appE [| Hs.PVar |] (varE (mkName n))
                antiP _ = Nothing
                antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
                  = Just . varE $ mkName n
                antiT _ = Nothing
                antiN (Hs.Ident n)
                  | "__" `isPrefixOf` n, "__" `isSuffixOf` n
                  = let ... in Just $ appE [| Hs.Ident |] (varE (mkName nn))
                antiN _ = Nothing

Language/Haskell/Exts/QQ.hs:160:18: error:
    • The constructor ‘Hs.PParen’ should have 2 arguments, but has been given 1
    • In the pattern: Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n)))
      In an equation for ‘antiP’:
          antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
            = Just $ appE [| Hs.PVar |] (varE (mkName n))
      In an equation for ‘antiquoteExp’:
          antiquoteExp t
            = dataToQa
                (conE . qualify)
                litE
                (foldl appE)
                (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
                t
            where
                antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
                antiE (Hs.SpliceExp (Hs.ParenSplice e))
                  = Just $ return $ Hs.toExp e
                antiE _ = Nothing
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ appE [| Hs.PVar |] (varE (mkName n))
                antiP _ = Nothing
                antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
                  = Just . varE $ mkName n
                antiT _ = Nothing
                antiN (Hs.Ident n)
                  | "__" `isPrefixOf` n, "__" `isSuffixOf` n
                  = let ... in Just $ appE [| Hs.Ident |] (varE (mkName nn))
                antiN _ = Nothing

Language/Haskell/Exts/QQ.hs:163:18: error:
    • The constructor ‘Hs.TyParen’ should have 2 arguments, but has been given 1
    • In the pattern: Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n)))
      In an equation for ‘antiT’:
          antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
            = Just . varE $ mkName n
      In an equation for ‘antiquoteExp’:
          antiquoteExp t
            = dataToQa
                (conE . qualify)
                litE
                (foldl appE)
                (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
                t
            where
                antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
                antiE (Hs.SpliceExp (Hs.ParenSplice e))
                  = Just $ return $ Hs.toExp e
                antiE _ = Nothing
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ appE [| Hs.PVar |] (varE (mkName n))
                antiP _ = Nothing
                antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
                  = Just . varE $ mkName n
                antiT _ = Nothing
                antiN (Hs.Ident n)
                  | "__" `isPrefixOf` n, "__" `isSuffixOf` n
                  = let ... in Just $ appE [| Hs.Ident |] (varE (mkName nn))
                antiN _ = Nothing

Language/Haskell/Exts/QQ.hs:165:18: error:
    • The constructor ‘Hs.Ident’ should have 2 arguments, but has been given 1
    • In the pattern: Hs.Ident n
      In an equation for ‘antiN’:
          antiN (Hs.Ident n)
            | "__" `isPrefixOf` n, "__" `isSuffixOf` n
            = let nn = take (length n - 4) (drop 2 n)
              in Just $ appE [| Hs.Ident |] (varE (mkName nn))
      In an equation for ‘antiquoteExp’:
          antiquoteExp t
            = dataToQa
                (conE . qualify)
                litE
                (foldl appE)
                (const Nothing `extQ` antiE `extQ` antiP `extQ` antiN `extQ` antiT)
                t
            where
                antiE (Hs.SpliceExp (Hs.IdSplice v)) = Just $ varE $ mkName v
                antiE (Hs.SpliceExp (Hs.ParenSplice e))
                  = Just $ return $ Hs.toExp e
                antiE _ = Nothing
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ appE [| Hs.PVar |] (varE (mkName n))
                antiP _ = Nothing
                antiT (Hs.TyParen (Hs.TyParen (Hs.TyVar (Hs.Ident n))))
                  = Just . varE $ mkName n
                antiT _ = Nothing
                antiN (Hs.Ident n)
                  | "__" `isPrefixOf` n, "__" `isSuffixOf` n
                  = let ... in Just $ appE [| Hs.Ident |] (varE (mkName nn))
                antiN _ = Nothing

Language/Haskell/Exts/QQ.hs:171:44: error:
    • Could not deduce (Typeable b4) arising from a use of ‘extQ’
      from the context: Data a
        bound by the type signature for:
                   antiquotePat :: Data a => a -> Q Pat
        at Language/Haskell/Exts/QQ.hs:170:1-36
      or from: Data b
        bound by a type expected by the context:
                   Data b => b -> Maybe (Q Pat)
        at Language/Haskell/Exts/QQ.hs:171:16-70
      The type variable ‘b4’ is ambiguous
    • In the fourth argument of ‘dataToQa’, namely
        ‘(const Nothing `extQ` antiP)’
      In the expression:
        dataToQa qualify litP conP (const Nothing `extQ` antiP)
      In an equation for ‘antiquotePat’:
          antiquotePat
            = dataToQa qualify litP conP (const Nothing `extQ` antiP)
            where
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ conP 'Hs.PVar [varP (mkName n)]
                antiP _ = Nothing

Language/Haskell/Exts/QQ.hs:172:18: error:
    • The constructor ‘Hs.PParen’ should have 2 arguments, but has been given 1
    • In the pattern: Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n)))
      In an equation for ‘antiP’:
          antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
            = Just $ conP 'Hs.PVar [varP (mkName n)]
      In an equation for ‘antiquotePat’:
          antiquotePat
            = dataToQa qualify litP conP (const Nothing `extQ` antiP)
            where
                antiP (Hs.PParen (Hs.PParen (Hs.PVar (Hs.Ident n))))
                  = Just $ conP 'Hs.PVar [varP (mkName n)]
                antiP _ = Nothing
cabal: Leaving directory '/tmp/cabal-tmp-15138/haskell-src-exts-qq-0.7'
cabal: Error: some packages failed to install:
dedukti-1.1.2 depends on hmk-0.9.7.4 which failed to install.
haskell-src-exts-qq-0.7 failed during the building phase. The exception was:
ExitFailure 1
hmk-0.9.7.4 failed during the building phase. The exception was:
ExitFailure 1