Build #2 for aern2-real-0.2.9.0
| Package | aern2-real-0.2.9.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-08-25 21:46:55.284214481 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.14.2, aern2-mp-0.2.11.0, base-4.16.3.0, collect-errors-0.1.5.0, hspec-2.10.1, integer-logarithms-1.0.3.1, mixed-types-num-0.5.11 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting cdar-mBound-0.1.0.4
Starting clock-0.8.3
Starting call-stack-0.4.0
Starting colour-2.3.6
Building cdar-mBound-0.1.0.4
Building colour-2.3.6
Building call-stack-0.4.0
Building clock-0.8.3
Completed call-stack-0.4.0
Starting hspec-discover-2.10.1
Building hspec-discover-2.10.1
Completed clock-0.8.3
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed colour-2.3.6
Starting logict-0.8.0.0
Building logict-0.8.0.0
Completed integer-logarithms-1.0.3.1
Starting primitive-0.7.4.0
Building primitive-0.7.4.0
Completed hspec-discover-2.10.1
Starting reflection-2.1.6
Building reflection-2.1.6
Completed cdar-mBound-0.1.0.4
Starting regex-base-0.94.0.2
Building regex-base-0.94.0.2
Completed logict-0.8.0.0
Starting setenv-0.1.1.3
Building setenv-0.1.1.3
Completed setenv-0.1.1.3
Starting splitmix-0.1.0.4
Building splitmix-0.1.0.4
Completed reflection-2.1.6
Starting HUnit-1.6.2.0
Completed regex-base-0.94.0.2
Starting ansi-terminal-0.11.3
Building HUnit-1.6.2.0
Building ansi-terminal-0.11.3
Completed splitmix-0.1.0.4
Starting smallcheck-1.2.1
Building smallcheck-1.2.1
Completed HUnit-1.6.2.0
Starting regex-tdfa-1.3.2
Building regex-tdfa-1.3.2
Completed ansi-terminal-0.11.3
Starting random-1.2.1.1
Completed primitive-0.7.4.0
Starting hspec-expectations-0.8.2
Building random-1.2.1.1
Building hspec-expectations-0.8.2
Completed hspec-expectations-0.8.2
Completed smallcheck-1.2.1
Completed random-1.2.1.1
Starting tf-random-0.5
Starting QuickCheck-2.14.2
Building tf-random-0.5
Building QuickCheck-2.14.2
Completed regex-tdfa-1.3.2
Completed tf-random-0.5
Completed QuickCheck-2.14.2
Starting quickcheck-io-0.2.0
Starting collect-errors-0.1.5.0
Building quickcheck-io-0.2.0
Building collect-errors-0.1.5.0
Completed quickcheck-io-0.2.0
Starting hspec-core-2.10.1
Building hspec-core-2.10.1
Completed collect-errors-0.1.5.0
Completed hspec-core-2.10.1
Starting hspec-2.10.1
Starting hspec-smallcheck-0.5.3
Building hspec-2.10.1
Building hspec-smallcheck-0.5.3
Completed hspec-2.10.1
Completed hspec-smallcheck-0.5.3
Starting mixed-types-num-0.5.11
Building mixed-types-num-0.5.11
Completed mixed-types-num-0.5.11
Starting aern2-mp-0.2.11.0
Building aern2-mp-0.2.11.0
Completed aern2-mp-0.2.11.0
Starting aern2-real-0.2.9.0
Building aern2-real-0.2.9.0
Failed to install aern2-real-0.2.9.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/aern2-real-0.2.9.0-7UZp2ooJvlLJQ53Bmu7r0a.log ):
cabal: Entering directory '/tmp/cabal-tmp-16976/aern2-real-0.2.9.0'
Configuring aern2-real-0.2.9.0...
Preprocessing library for aern2-real-0.2.9.0..
Building library for aern2-real-0.2.9.0..
[ 1 of 13] Compiling AERN2.Real.Type ( src/AERN2/Real/Type.hs, dist/build/AERN2/Real/Type.o, dist/build/AERN2/Real/Type.dyn_o )
[ 2 of 13] Compiling AERN2.Real.Limit ( src/AERN2/Real/Limit.hs, dist/build/AERN2/Real/Limit.o, dist/build/AERN2/Real/Limit.dyn_o )
[ 3 of 13] Compiling AERN2.Real.CKleenean ( src/AERN2/Real/CKleenean.hs, dist/build/AERN2/Real/CKleenean.o, dist/build/AERN2/Real/CKleenean.dyn_o )
src/AERN2/Real/CKleenean.hs:52:16: error:
" Could not deduce (CanTestCertainly t1)
arising from a use of and2
from the context: CanAndOrAsymmetric t1 t2
bound by the instance declaration
at src/AERN2/Real/CKleenean.hs:50:10-87
Possible fix:
add (CanTestCertainly t1) to the context of
the instance declaration
" In the first argument of lift2, namely and2
In the expression: lift2 and2
In an equation for and2: and2 = lift2 and2
|
52 | and2 = lift2 and2
| ^^^^
src/AERN2/Real/CKleenean.hs:53:15: error:
" Could not deduce (CanTestCertainly t1)
arising from a use of or2
from the context: CanAndOrAsymmetric t1 t2
bound by the instance declaration
at src/AERN2/Real/CKleenean.hs:50:10-87
Possible fix:
add (CanTestCertainly t1) to the context of
the instance declaration
" In the first argument of lift2, namely or2
In the expression: lift2 or2
In an equation for or2: or2 = lift2 or2
|
53 | or2 = lift2 or2
| ^^^
cabal: Leaving directory '/tmp/cabal-tmp-16976/aern2-real-0.2.9.0'
Warning: could not create symlinks in /home/builder/.cabal/bin for examples,
logistic, hspec-discover because the files exist there already and are not
managed by cabal. You can create symlinks for these executables manually if
you wish. The executable files have been installed at
/home/builder/hackage-server/build-cache/tmp-install/bin/examples,
/home/builder/hackage-server/build-cache/tmp-install/bin/logistic,
/home/builder/hackage-server/build-cache/tmp-install/bin/hspec-discover
Error: cabal: Some packages failed to install:
aern2-real-0.2.9.0-7UZp2ooJvlLJQ53Bmu7r0a failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.