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