Build #2 for aern2-real-0.2.12.0
| Package | aern2-real-0.2.12.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-04-07 04:03:43.056371914 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.10, 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 call-stack-0.4.0
Starting cdar-mBound-0.1.0.4
Starting data-array-byte-0.1.0.1
Starting colour-2.3.6
Starting integer-logarithms-1.0.3.1
Starting hspec-discover-2.10.10
Starting logict-0.8.0.0
Starting reflection-2.1.7
Starting setenv-0.1.1.3
Starting haskell-lexer-1.1.1
Starting regex-base-0.94.0.2
Starting splitmix-0.1.0.4
Building cdar-mBound-0.1.0.4
Building call-stack-0.4.0
Building data-array-byte-0.1.0.1
Building regex-base-0.94.0.2
Building logict-0.8.0.0
Building hspec-discover-2.10.10
Building setenv-0.1.1.3
Building integer-logarithms-1.0.3.1
Building splitmix-0.1.0.4
Building colour-2.3.6
Building reflection-2.1.7
Building haskell-lexer-1.1.1
Completed call-stack-0.4.0
Starting HUnit-1.6.2.0
Building HUnit-1.6.2.0
Completed integer-logarithms-1.0.3.1
Completed setenv-0.1.1.3
Completed splitmix-0.1.0.4
Starting random-1.2.1.1
Completed data-array-byte-0.1.0.1
Starting primitive-0.8.0.0
Building random-1.2.1.1
Completed logict-0.8.0.0
Starting smallcheck-1.2.1
Building primitive-0.8.0.0
Building smallcheck-1.2.1
Completed regex-base-0.94.0.2
Starting regex-tdfa-1.3.2
Building regex-tdfa-1.3.2
Completed hspec-discover-2.10.10
Completed colour-2.3.6
Starting ansi-terminal-types-0.11.5
Completed reflection-2.1.7
Completed HUnit-1.6.2.0
Starting hspec-expectations-0.8.2
Building ansi-terminal-types-0.11.5
Building hspec-expectations-0.8.2
Completed cdar-mBound-0.1.0.4
Completed hspec-expectations-0.8.2
Completed ansi-terminal-types-0.11.5
Starting ansi-terminal-0.11.5
Building ansi-terminal-0.11.5
Completed smallcheck-1.2.1
Completed random-1.2.1.1
Starting QuickCheck-2.14.2
Completed ansi-terminal-0.11.5
Building QuickCheck-2.14.2
Completed primitive-0.8.0.0
Starting tf-random-0.5
Building tf-random-0.5
Completed haskell-lexer-1.1.1
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 collect-errors-0.1.5.0
Building quickcheck-io-0.2.0
Completed quickcheck-io-0.2.0
Starting hspec-core-2.10.10
Building hspec-core-2.10.10
Completed collect-errors-0.1.5.0
Completed hspec-core-2.10.10
Starting hspec-smallcheck-0.5.3
Starting hspec-2.10.10
Building hspec-smallcheck-0.5.3
Building hspec-2.10.10
Completed hspec-2.10.10
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.12.0
Building aern2-real-0.2.12.0
Failed to install aern2-real-0.2.12.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/aern2-real-0.2.12.0-6asiujjXP5GCzku5IEttUs.log ):
cabal: Entering directory '/tmp/cabal-tmp-2100218/aern2-real-0.2.12.0'
Configuring aern2-real-0.2.12.0...
Preprocessing library for aern2-real-0.2.12.0..
Building library for aern2-real-0.2.12.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:64:17: error:
" Couldn't match type: AndOrType Kleenean (CN t2)
with: Control.CollectErrors.Type.CollectErrors
CN.NumErrors (AndOrType Kleenean t2)
Expected: Kleenean -> CN t2 -> CN (AndOrType Kleenean t2)
Actual: Kleenean -> CN t2 -> AndOrType Kleenean (CN t2)
" In the first argument of liftT1, namely and2
In the expression: liftT1 and2
In an equation for and2: and2 = liftT1 and2
" Relevant bindings include
and2 :: Kleenean
-> CSequence t2 -> AndOrType Kleenean (CSequence t2)
(bound at src/AERN2/Real/CKleenean.hs:64:3)
|
64 | and2 = liftT1 and2
| ^^^^
src/AERN2/Real/CKleenean.hs:65:16: error:
" Couldn't match type: AndOrType Kleenean (CN t2)
with: Control.CollectErrors.Type.CollectErrors
CN.NumErrors (AndOrType Kleenean t2)
Expected: Kleenean -> CN t2 -> CN (AndOrType Kleenean t2)
Actual: Kleenean -> CN t2 -> AndOrType Kleenean (CN t2)
" In the first argument of liftT1, namely or2
In the expression: liftT1 or2
In an equation for or2: or2 = liftT1 or2
" Relevant bindings include
or2 :: Kleenean
-> CSequence t2 -> AndOrType Kleenean (CSequence t2)
(bound at src/AERN2/Real/CKleenean.hs:65:3)
|
65 | or2 = liftT1 or2
| ^^^
src/AERN2/Real/CKleenean.hs:74:17: error:
" Couldn't match type: AndOrType (CN t1) Kleenean
with: Control.CollectErrors.Type.CollectErrors
CN.NumErrors (AndOrType t1 Kleenean)
Expected: CN t1 -> Kleenean -> CN (AndOrType t1 Kleenean)
Actual: CN t1 -> Kleenean -> AndOrType (CN t1) Kleenean
" In the first argument of lift1T, namely and2
In the expression: lift1T and2
In an equation for and2: and2 = lift1T and2
" Relevant bindings include
and2 :: CSequence t1
-> Kleenean -> AndOrType (CSequence t1) Kleenean
(bound at src/AERN2/Real/CKleenean.hs:74:3)
|
74 | and2 = lift1T and2
| ^^^^
src/AERN2/Real/CKleenean.hs:75:16: error:
" Couldn't match type: AndOrType (CN t1) Kleenean
with: Control.CollectErrors.Type.CollectErrors
CN.NumErrors (AndOrType t1 Kleenean)
Expected: CN t1 -> Kleenean -> CN (AndOrType t1 Kleenean)
Actual: CN t1 -> Kleenean -> AndOrType (CN t1) Kleenean
" In the first argument of lift1T, namely or2
In the expression: lift1T or2
In an equation for or2: or2 = lift1T or2
" Relevant bindings include
or2 :: CSequence t1
-> Kleenean -> AndOrType (CSequence t1) Kleenean
(bound at src/AERN2/Real/CKleenean.hs:75:3)
|
75 | or2 = lift1T or2
| ^^^
cabal: Leaving directory '/tmp/cabal-tmp-2100218/aern2-real-0.2.12.0'
Error: cabal: Some packages failed to install:
aern2-real-0.2.12.0-6asiujjXP5GCzku5IEttUs failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.