Build #7 for hoq-0.3

[all reports]

Package hoq-0.3
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-13 10:39:14.180925 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies array-0.5.1.1, base-4.9.0.0, bifunctors-5.4.1, bytestring-0.10.8.1, filepath-1.4.1.0, mtl-2.2.1, pretty-1.1.3.3, readline-1.0.3.0, void-0.7.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring base-orphans-0.5.4...
Configuring mtl-2.2.1...
Building base-orphans-0.5.4...
Building mtl-2.2.1...
Installed base-orphans-0.5.4
Configuring readline-1.0.3.0...
Building readline-1.0.3.0...
Configuring semigroups-0.18.2...
Installed mtl-2.2.1
Building semigroups-0.18.2...
Configuring stm-2.4.4.1...
Installed readline-1.0.3.0
Configuring text-1.2.2.1...
Installed semigroups-0.18.2
Building stm-2.4.4.1...
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed stm-2.4.4.1
Building transformers-compat-0.5.1.4...
Configuring StateVar-1.1.0.4...
Installed transformers-compat-0.5.1.4
Building StateVar-1.1.0.4...
Configuring tagged-0.8.5...
Installed StateVar-1.1.0.4
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring distributive-0.5.0.2...
Building distributive-0.5.0.2...
Installed text-1.2.2.1
Configuring hashable-1.2.4.0...
Installed distributive-0.5.0.2
Building hashable-1.2.4.0...
Installed hashable-1.2.4.0
Configuring void-0.7.1...
Building void-0.7.1...
Installed void-0.7.1
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring hoq-0.3...
Building hoq-0.3...
Failed to install hoq-0.3
Build log ( /home/builder/.cabal/logs/hoq-0.3.log ):
cabal: Entering directory '/tmp/cabal-tmp-28392/hoq-0.3'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-28392/hoq-0.3/dist/setup/setup.hs, /tmp/cabal-tmp-28392/hoq-0.3/dist/setup/Main.o )
Linking /tmp/cabal-tmp-28392/hoq-0.3/dist/setup/setup ...
Configuring hoq-0.3...
Building hoq-0.3...
Preprocessing executable 'hoq' for hoq-0.3...
[ 1 of 29] Compiling TypeChecking.Monad.Warn ( src/TypeChecking/Monad/Warn.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad/Warn.o )
[ 2 of 29] Compiling Syntax.Term      ( src/Syntax/Term.hs, dist/build/hoq/hoq-tmp/Syntax/Term.o )
[ 3 of 29] Compiling TypeChecking.Context ( src/TypeChecking/Context.hs, dist/build/hoq/hoq-tmp/TypeChecking/Context.o )
[ 4 of 29] Compiling Syntax.ErrorDoc  ( src/Syntax/ErrorDoc.hs, dist/build/hoq/hoq-tmp/Syntax/ErrorDoc.o )
[ 5 of 29] Compiling Syntax           ( src/Syntax.hs, dist/build/hoq/hoq-tmp/Syntax.o )
[ 6 of 29] Compiling Syntax.Parser.Lexer ( dist/build/hoq/hoq-tmp/Syntax/Parser/Lexer.hs, dist/build/hoq/hoq-tmp/Syntax/Parser/Lexer.o )
[ 7 of 29] Compiling Syntax.Parser.Parser ( dist/build/hoq/hoq-tmp/Syntax/Parser/Parser.hs, dist/build/hoq/hoq-tmp/Syntax/Parser/Parser.o )
[ 8 of 29] Compiling Syntax.PrettyPrinter ( src/Syntax/PrettyPrinter.hs, dist/build/hoq/hoq-tmp/Syntax/PrettyPrinter.o )
[ 9 of 29] Compiling Semantics.Value  ( src/Semantics/Value.hs, dist/build/hoq/hoq-tmp/Semantics/Value.o )
[10 of 29] Compiling Semantics        ( src/Semantics.hs, dist/build/hoq/hoq-tmp/Semantics.o )

src/Semantics.hs:64:1: warning:
    Pattern match checker exceeded (2000000) iterations in
    an equation for ‘cmpTerms’. (Use -fmax-pmcheck-iterations=n
    to set the maximun number of iterations to n)
[11 of 29] Compiling Semantics.Pattern ( src/Semantics/Pattern.hs, dist/build/hoq/hoq-tmp/Semantics/Pattern.o )
[12 of 29] Compiling TypeChecking.Expressions.Coverage ( src/TypeChecking/Expressions/Coverage.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Coverage.o )
[13 of 29] Compiling TypeChecking.Expressions.Utils ( src/TypeChecking/Expressions/Utils.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Utils.o )
[14 of 29] Compiling Syntax.Parser    ( src/Syntax/Parser.hs, dist/build/hoq/hoq-tmp/Syntax/Parser.o )
[15 of 29] Compiling TypeChecking.Definitions.Termination ( src/TypeChecking/Definitions/Termination.hs, dist/build/hoq/hoq-tmp/TypeChecking/Definitions/Termination.o )
[16 of 29] Compiling TypeChecking.Monad.Scope ( src/TypeChecking/Monad/Scope.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad/Scope.o )
[17 of 29] Compiling TypeChecking.Monad ( src/TypeChecking/Monad.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad.o )
[18 of 29] Compiling Normalization    ( src/Normalization.hs, dist/build/hoq/hoq-tmp/Normalization.o )
[19 of 29] Compiling TypeChecking.Expressions.Conditions ( src/TypeChecking/Expressions/Conditions.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Conditions.o )

src/TypeChecking/Expressions/Conditions.hs:20:28: error:
    • Expected a constraint, but ‘Ctx String f Void b’ has kind ‘*’
    • In the type signature:
        checkConditions :: Eq b =>
                           Ctx String f Void b =>
                           Term Semantics b -> [(S.Posn, Clause b)] -> [Error]
cabal: Leaving directory '/tmp/cabal-tmp-28392/hoq-0.3'
cabal: Error: some packages failed to install:
hoq-0.3 failed during the building phase. The exception was:
ExitFailure 1