Build #7 for hoq-0.2
| Package | hoq-0.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-13 22:52:10.700997 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, prelude-extras-0.4.0.3, 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 prelude-extras-0.4.0.3...
Building prelude-extras-0.4.0.3...
Configuring readline-1.0.3.0...
Installed mtl-2.2.1
Building readline-1.0.3.0...
Configuring stm-2.4.4.1...
Installed prelude-extras-0.4.0.3
Building stm-2.4.4.1...
Configuring semigroups-0.18.2...
Installed stm-2.4.4.1
Configuring text-1.2.2.1...
Installed readline-1.0.3.0
Building semigroups-0.18.2...
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed semigroups-0.18.2
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 distributive-0.5.0.2
Installed text-1.2.2.1
Configuring hashable-1.2.4.0...
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.2...
Building hoq-0.2...
Failed to install hoq-0.2
Build log ( /home/builder/.cabal/logs/hoq-0.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-17236/hoq-0.2'
[1 of 1] Compiling Main ( /tmp/cabal-tmp-17236/hoq-0.2/dist/setup/setup.hs, /tmp/cabal-tmp-17236/hoq-0.2/dist/setup/Main.o )
Linking /tmp/cabal-tmp-17236/hoq-0.2/dist/setup/setup ...
Configuring hoq-0.2...
Building hoq-0.2...
Preprocessing executable 'hoq' for hoq-0.2...
[ 1 of 26] Compiling TypeChecking.Monad.Warn ( src/TypeChecking/Monad/Warn.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad/Warn.o )
[ 2 of 26] Compiling Syntax.Term ( src/Syntax/Term.hs, dist/build/hoq/hoq-tmp/Syntax/Term.o )
[ 3 of 26] Compiling TypeChecking.Context ( src/TypeChecking/Context.hs, dist/build/hoq/hoq-tmp/TypeChecking/Context.o )
[ 4 of 26] Compiling Syntax.ErrorDoc ( src/Syntax/ErrorDoc.hs, dist/build/hoq/hoq-tmp/Syntax/ErrorDoc.o )
[ 5 of 26] Compiling Syntax ( src/Syntax.hs, dist/build/hoq/hoq-tmp/Syntax.o )
[ 6 of 26] Compiling Syntax.Parser.Lexer ( dist/build/hoq/hoq-tmp/Syntax/Parser/Lexer.hs, dist/build/hoq/hoq-tmp/Syntax/Parser/Lexer.o )
[ 7 of 26] Compiling Syntax.Parser.Parser ( dist/build/hoq/hoq-tmp/Syntax/Parser/Parser.hs, dist/build/hoq/hoq-tmp/Syntax/Parser/Parser.o )
[ 8 of 26] Compiling Syntax.PrettyPrinter ( src/Syntax/PrettyPrinter.hs, dist/build/hoq/hoq-tmp/Syntax/PrettyPrinter.o )
[ 9 of 26] Compiling Semantics.Value ( src/Semantics/Value.hs, dist/build/hoq/hoq-tmp/Semantics/Value.o )
[10 of 26] Compiling TypeChecking.Expressions.Coverage ( src/TypeChecking/Expressions/Coverage.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Coverage.o )
[11 of 26] Compiling Semantics ( src/Semantics.hs, dist/build/hoq/hoq-tmp/Semantics.o )
src/Semantics.hs:43: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)
[12 of 26] Compiling TypeChecking.Expressions.Utils ( src/TypeChecking/Expressions/Utils.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Utils.o )
[13 of 26] Compiling Syntax.Parser ( src/Syntax/Parser.hs, dist/build/hoq/hoq-tmp/Syntax/Parser.o )
[14 of 26] Compiling TypeChecking.Definitions.Termination ( src/TypeChecking/Definitions/Termination.hs, dist/build/hoq/hoq-tmp/TypeChecking/Definitions/Termination.o )
[15 of 26] Compiling TypeChecking.Monad.Scope ( src/TypeChecking/Monad/Scope.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad/Scope.o )
[16 of 26] Compiling TypeChecking.Monad ( src/TypeChecking/Monad.hs, dist/build/hoq/hoq-tmp/TypeChecking/Monad.o )
[17 of 26] Compiling Normalization ( src/Normalization.hs, dist/build/hoq/hoq-tmp/Normalization.o )
[18 of 26] Compiling TypeChecking.Expressions.Conditions ( src/TypeChecking/Expressions/Conditions.hs, dist/build/hoq/hoq-tmp/TypeChecking/Expressions/Conditions.o )
src/TypeChecking/Expressions/Conditions.hs:26:38: error:
• Expected a constraint, but ‘Ctx String f Void a’ has kind ‘*’
• In the type signature:
checkConditions :: Eq a =>
S.Posn
-> Ctx String f Void a =>
Term Semantics a
-> [([Term (String, SCon) String], Term Semantics a)] -> [Error]
cabal: Leaving directory '/tmp/cabal-tmp-17236/hoq-0.2'
cabal: Error: some packages failed to install:
hoq-0.2 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.