Build #1 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 19:48:05.689348491 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 clock-0.8.3 Starting call-stack-0.4.0 Starting cdar-mBound-0.1.0.4 Starting colour-2.3.6 Building clock-0.8.3 Building call-stack-0.4.0 Building cdar-mBound-0.1.0.4 Building colour-2.3.6 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 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 splitmix-0.1.0.4 Building HUnit-1.6.2.0 Building ansi-terminal-0.11.3 Completed splitmix-0.1.0.4 Starting smallcheck-1.2.1 Completed HUnit-1.6.2.0 Starting regex-tdfa-1.3.2 Building smallcheck-1.2.1 Building regex-tdfa-1.3.2 Completed primitive-0.7.4.0 Starting random-1.2.1.1 Completed ansi-terminal-0.11.3 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 Downloading aern2-real-0.2.9.0 Downloaded aern2-real-0.2.9.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-10276/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-10276/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.