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