Build #2 for atp-haskell-1.14.1
| Package | atp-haskell-1.14.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2024-03-13 18:17:56.260015341 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | HUnit-1.6.2.0, applicative-extras-0.1.8, base-4.18.1.0, containers-0.6.7, extra-1.7.14, mtl-2.3.1, parsec-3.1.16.1, pretty-1.1.3.6, template-haskell-2.20.0.0, time-1.12.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting applicative-extras-0.1.8
Starting clock-0.8.4
Starting call-stack-0.4.0
Building applicative-extras-0.1.8
Building call-stack-0.4.0
Building clock-0.8.4
Completed call-stack-0.4.0
Starting HUnit-1.6.2.0
Completed applicative-extras-0.1.8
Building HUnit-1.6.2.0
Completed clock-0.8.4
Starting extra-1.7.14
Building extra-1.7.14
Completed HUnit-1.6.2.0
Completed extra-1.7.14
Starting atp-haskell-1.14.1
Building atp-haskell-1.14.1
Failed to install atp-haskell-1.14.1
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/atp-haskell-1.14.1-JqpJGz4XaF2DEHWOZ0pM2b.log ):
cabal: Entering directory '/tmp/cabal-tmp-3497676/atp-haskell-1.14.1'
Configuring atp-haskell-1.14.1...
Preprocessing library for atp-haskell-1.14.1..
Building library for atp-haskell-1.14.1..
[ 1 of 25] Compiling Data.Logic.ATP.Lib ( src/Data/Logic/ATP/Lib.hs, dist/build/Data/Logic/ATP/Lib.o, dist/build/Data/Logic/ATP/Lib.dyn_o )
src/Data/Logic/ATP/Lib.hs:95:3: error: [GHC-54721]
fail is not a (visible) method of class Monad
|
95 | fail errMsg = Failure [errMsg]
| ^^^^
[ 2 of 25] Compiling Data.Logic.ATP.Pretty ( src/Data/Logic/ATP/Pretty.hs, dist/build/Data/Logic/ATP/Pretty.o, dist/build/Data/Logic/ATP/Pretty.dyn_o )
src/Data/Logic/ATP/Pretty.hs:40:1: warning: [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
40 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[ 3 of 25] Compiling Data.Logic.ATP.Formulas ( src/Data/Logic/ATP/Formulas.hs, dist/build/Data/Logic/ATP/Formulas.o, dist/build/Data/Logic/ATP/Formulas.dyn_o )
[ 4 of 25] Compiling Data.Logic.ATP.Lit ( src/Data/Logic/ATP/Lit.hs, dist/build/Data/Logic/ATP/Lit.o, dist/build/Data/Logic/ATP/Lit.dyn_o )
src/Data/Logic/ATP/Lit.hs:39:1: warning: [-Wunused-imports]
The import of Data.Monoid is redundant
except perhaps to import instances from Data.Monoid
To import instances alone, use: import Data.Monoid()
|
39 | import Data.Monoid ((<>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[ 5 of 25] Compiling Data.Logic.ATP.LitWrapper ( src/Data/Logic/ATP/LitWrapper.hs, dist/build/Data/Logic/ATP/LitWrapper.o, dist/build/Data/Logic/ATP/LitWrapper.dyn_o )
[10 of 25] Compiling Data.Logic.ATP.Term ( src/Data/Logic/ATP/Term.hs, dist/build/Data/Logic/ATP/Term.o, dist/build/Data/Logic/ATP/Term.dyn_o )
src/Data/Logic/ATP/Term.hs:45:31: warning: [-Wunused-imports]
The import of <> from module Data.Logic.ATP.Pretty is redundant
|
45 | import Data.Logic.ATP.Pretty ((<>), Associativity(InfixN), Doc, HasFixity(associativity, precedence), Precedence, prettyShow, text)
| ^^^^
src/Data/Logic/ATP/Term.hs:141:31: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
141 | zipTerms :: (IsTerm term1, v1 ~ TVarOf term1, function1 ~ FunOf term1,
| ^
src/Data/Logic/ATP/Term.hs:141:57: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
141 | zipTerms :: (IsTerm term1, v1 ~ TVarOf term1, function1 ~ FunOf term1,
| ^
src/Data/Logic/ATP/Term.hs:142:31: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
142 | IsTerm term2, v2 ~ TVarOf term2, function2 ~ FunOf term2) =>
| ^
src/Data/Logic/ATP/Term.hs:142:57: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
142 | IsTerm term2, v2 ~ TVarOf term2, function2 ~ FunOf term2) =>
| ^
src/Data/Logic/ATP/Term.hs:155:34: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
155 | convertTerm :: (IsTerm term1, v1 ~ TVarOf term1, f1 ~ FunOf term1,
| ^
src/Data/Logic/ATP/Term.hs:155:53: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
155 | convertTerm :: (IsTerm term1, v1 ~ TVarOf term1, f1 ~ FunOf term1,
| ^
src/Data/Logic/ATP/Term.hs:156:34: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
156 | IsTerm term2, v2 ~ TVarOf term2, f2 ~ FunOf term2) =>
| ^
src/Data/Logic/ATP/Term.hs:156:53: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
156 | IsTerm term2, v2 ~ TVarOf term2, f2 ~ FunOf term2) =>
| ^
src/Data/Logic/ATP/Term.hs:169:18: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
169 | prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, HasFixity term, Pretty v, Pretty function) =>
| ^
src/Data/Logic/ATP/Term.hs:169:42: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
169 | prettyTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, HasFixity term, Pretty v, Pretty function) =>
| ^
src/Data/Logic/ATP/Term.hs:174:34: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
174 | prettyFunctionApply :: (function ~ FunOf term, IsTerm term, HasFixity term) => PrettyLevel -> function -> [term] -> Doc
| ^
src/Data/Logic/ATP/Term.hs:179:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
179 | showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, Pretty v, Pretty function) => term -> String
| ^
src/Data/Logic/ATP/Term.hs:179:40: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
179 | showTerm :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term, Pretty v, Pretty function) => term -> String
| ^
src/Data/Logic/ATP/Term.hs:183:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
183 | showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term) => function -> [term] -> String
| ^
src/Data/Logic/ATP/Term.hs:183:49: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
183 | showFunctionApply :: (v ~ TVarOf term, function ~ FunOf term, IsTerm term) => function -> [term] -> String
| ^
src/Data/Logic/ATP/Term.hs:186:33: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
186 | funcs :: (IsTerm term, function ~ FunOf term) => term -> Set (function, Arity)
| ^
[11 of 25] Compiling Data.Logic.ATP.Apply ( src/Data/Logic/ATP/Apply.hs, dist/build/Data/Logic/ATP/Apply.o, dist/build/Data/Logic/ATP/Apply.dyn_o )
src/Data/Logic/ATP/Apply.hs:36:41: warning: [-Wunused-imports]
The import of <> from module Data.Logic.ATP.Pretty is redundant
|
36 | import Data.Logic.ATP.Pretty as Pretty ((<>), Associativity(InfixN), Doc, HasFixity(associativity, precedence), pAppPrec, text)
| ^^^^
src/Data/Logic/ATP/Apply.hs:64:39: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
64 | atomFuncs :: (HasApply atom, function ~ FunOf (TermOf atom)) => atom -> Set (function, Arity)
| ^
src/Data/Logic/ATP/Apply.hs:69:20: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
69 | atom ~ AtomOf formula,
| ^
src/Data/Logic/ATP/Apply.hs:70:20: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
70 | term ~ TermOf atom,
| ^
src/Data/Logic/ATP/Apply.hs:71:24: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
71 | function ~ FunOf term) =>
| ^
src/Data/Logic/ATP/Apply.hs:78:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
78 | foldApply :: (JustApply atom, term ~ TermOf atom) => (PredOf atom -> [term] -> r) -> atom -> r
| ^
src/Data/Logic/ATP/Apply.hs:82:19: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
82 | prettyApply :: (v ~ TVarOf term, IsPredicate predicate, IsTerm term) => predicate -> [term] -> Doc
| ^
src/Data/Logic/ATP/Apply.hs:94:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
94 | zipApplys :: (JustApply atom1, term ~ TermOf atom1, predicate ~ PredOf atom1,
| ^
src/Data/Logic/ATP/Apply.hs:94:63: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
94 | zipApplys :: (JustApply atom1, term ~ TermOf atom1, predicate ~ PredOf atom1,
| ^
src/Data/Logic/ATP/Apply.hs:95:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
95 | JustApply atom2, term ~ TermOf atom2, predicate ~ PredOf atom2) =>
| ^
src/Data/Logic/ATP/Apply.hs:95:63: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
95 | JustApply atom2, term ~ TermOf atom2, predicate ~ PredOf atom2) =>
| ^
src/Data/Logic/ATP/Apply.hs:115:54: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
115 | onformula :: (IsFormula formula, HasApply atom, atom ~ AtomOf formula, term ~ TermOf atom) =>
| ^
src/Data/Logic/ATP/Apply.hs:115:77: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
115 | onformula :: (IsFormula formula, HasApply atom, atom ~ AtomOf formula, term ~ TermOf atom) =>
| ^
src/Data/Logic/ATP/Apply.hs:120:49: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
120 | pApp :: (IsFormula formula, HasApply atom, atom ~ AtomOf formula) => PredOf atom -> [TermOf atom] -> formula
| ^
[13 of 25] Compiling Data.Logic.ATP.Equate ( src/Data/Logic/ATP/Equate.hs, dist/build/Data/Logic/ATP/Equate.o, dist/build/Data/Logic/ATP/Equate.dyn_o )
src/Data/Logic/ATP/Equate.hs:35:41: warning: [-Wunused-imports]
The import of <> from module Data.Logic.ATP.Pretty is redundant
|
35 | import Data.Logic.ATP.Pretty as Pretty ((<>), Associativity(InfixN), atomPrec, Doc, eqPrec, HasFixity(associativity, precedence), pAppPrec, Precedence, text)
| ^^^^
src/Data/Logic/ATP/Equate.hs:49:51: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
49 | (.=.) :: (IsFormula formula, HasEquate atom, atom ~ AtomOf formula) => TermOf atom -> TermOf atom -> formula
| ^
src/Data/Logic/ATP/Equate.hs:54:63: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
54 | zipEquates :: (HasEquate atom1, HasEquate atom2, PredOf atom1 ~ PredOf atom2) =>
| ^
cabal: Leaving directory '/tmp/cabal-tmp-3497676/atp-haskell-1.14.1'
Error: cabal: Some packages failed to install:
atp-haskell-1.14.1-JqpJGz4XaF2DEHWOZ0pM2b failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.