Build #7 for dedukti-1.1.0
| Package | dedukti-1.1.0 |
|---|
| Install | DependencyFailed hmk-0.9.7.4 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-30 04:29:20.466378 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | time-1.6.0.1, 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 primitive-0.6.2.0...
Installed old-locale-1.0.0.7
Building primitive-0.6.2.0...
Configuring pcre-light-0.4.0.4...
Installed mtl-2.2.1
Building pcre-light-0.4.0.4...
Configuring random-1.1...
Installed pcre-light-0.4.0.4
Building random-1.1...
Configuring safe-0.3.10...
Installed random-1.1
Configuring syb-0.6...
Installed primitive-0.6.2.0
Building safe-0.3.10...
Building syb-0.6...
Configuring text-1.2.2.1...
Installed safe-0.3.10
Building text-1.2.2.1...
Configuring th-lift-0.7.6...
Installed syb-0.6
Building th-lift-0.7.6...
Configuring wl-pprint-1.2...
Installed th-lift-0.7.6
Building wl-pprint-1.2...
Installed wl-pprint-1.2
Configuring tf-random-0.5...
Building tf-random-0.5...
Configuring old-time-1.1.0.3...
Installed tf-random-0.5
Building old-time-1.1.0.3...
Configuring stringtable-atom-0.0.7...
Installed text-1.2.2.1
Configuring th-expand-syns-0.4.1.0...
Installed old-time-1.1.0.3
Building stringtable-atom-0.0.7...
Building th-expand-syns-0.4.1.0...
Installed th-expand-syns-0.4.1.0
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Configuring parsec-3.1.11...
Installed stringtable-atom-0.0.7
Building parsec-3.1.11...
Configuring th-reify-many-0.1.6...
Installed parsec-3.1.11
Building th-reify-many-0.1.6...
Configuring polyparse-1.12...
Installed th-reify-many-0.1.6
Building polyparse-1.12...
Installed QuickCheck-2.9.2
Configuring th-orphans-0.13.0...
Building th-orphans-0.13.0...
Configuring Stream-0.3.1...
Installed polyparse-1.12
Building Stream-0.3.1...
Configuring hmk-0.9.7.4...
Installed Stream-0.3.1
Building hmk-0.9.7.4...
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-27058/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-27058/hmk-0.9.7.4'
Configuring cpphs-1.20.2...
Building cpphs-1.20.2...
Installed 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 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-27056/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-27056/haskell-src-exts-qq-0.7'
cabal: Error: some packages failed to install:
dedukti-1.1.0 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
Test log
No test log was submitted for this report.