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