Resolving dependencies... Starting call-stack-0.4.0 Starting clock-0.8.3 Starting cdar-mBound-0.1.0.4 Starting colour-2.3.6 Building call-stack-0.4.0 Building clock-0.8.3 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 Building splitmix-0.1.0.4 Completed regex-base-0.94.0.2 Starting HUnit-1.6.2.0 Completed reflection-2.1.6 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 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 QuickCheck-2.14.2 Building tf-random-0.5 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.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.9.0 Building aern2-mp-0.2.9.0 Failed to install aern2-mp-0.2.9.0 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/aern2-mp-0.2.9.0-KqQoyRePi3l4KdcvlpLVuG.log ): cabal: Entering directory '/tmp/cabal-tmp-22480/aern2-mp-0.2.9.0' Configuring aern2-mp-0.2.9.0... Preprocessing library for aern2-mp-0.2.9.0.. Building library for aern2-mp-0.2.9.0.. [ 1 of 37] Compiling AERN2.Kleenean ( src/AERN2/Kleenean.hs, dist/build/AERN2/Kleenean.o, dist/build/AERN2/Kleenean.dyn_o ) [ 2 of 37] Compiling AERN2.Limit ( src/AERN2/Limit.hs, dist/build/AERN2/Limit.o, dist/build/AERN2/Limit.dyn_o ) [ 3 of 37] Compiling AERN2.MP.Float.Auxi ( src/AERN2/MP/Float/Auxi.hs, dist/build/AERN2/MP/Float/Auxi.o, dist/build/AERN2/MP/Float/Auxi.dyn_o ) [ 4 of 37] Compiling AERN2.MP.Precision ( src/AERN2/MP/Precision.hs, dist/build/AERN2/MP/Precision.o, dist/build/AERN2/MP/Precision.dyn_o ) [ 5 of 37] Compiling AERN2.Norm ( src/AERN2/Norm.hs, dist/build/AERN2/Norm.o, dist/build/AERN2/Norm.dyn_o ) [ 6 of 37] Compiling AERN2.MP.Float.Type ( src/AERN2/MP/Float/Type.hs, dist/build/AERN2/MP/Float/Type.o, dist/build/AERN2/MP/Float/Type.dyn_o ) [ 7 of 37] Compiling AERN2.MP.Float.Arithmetic ( src/AERN2/MP/Float/Arithmetic.hs, dist/build/AERN2/MP/Float/Arithmetic.o, dist/build/AERN2/MP/Float/Arithmetic.dyn_o ) [ 8 of 37] Compiling AERN2.MP.Float.PreludeNum ( src/AERN2/MP/Float/PreludeNum.hs, dist/build/AERN2/MP/Float/PreludeNum.o, dist/build/AERN2/MP/Float/PreludeNum.dyn_o ) [ 9 of 37] Compiling AERN2.MP.Float.Conversions ( src/AERN2/MP/Float/Conversions.hs, dist/build/AERN2/MP/Float/Conversions.o, dist/build/AERN2/MP/Float/Conversions.dyn_o ) [10 of 37] Compiling AERN2.MP.Float.Operators ( src/AERN2/MP/Float/Operators.hs, dist/build/AERN2/MP/Float/Operators.o, dist/build/AERN2/MP/Float/Operators.dyn_o ) [11 of 37] Compiling AERN2.MP.Float.Tests ( src/AERN2/MP/Float/Tests.hs, dist/build/AERN2/MP/Float/Tests.o, dist/build/AERN2/MP/Float/Tests.dyn_o ) [12 of 37] Compiling AERN2.MP.Float ( src/AERN2/MP/Float.hs, dist/build/AERN2/MP/Float.o, dist/build/AERN2/MP/Float.dyn_o ) [13 of 37] Compiling AERN2.MP.Accuracy ( src/AERN2/MP/Accuracy.hs, dist/build/AERN2/MP/Accuracy.o, dist/build/AERN2/MP/Accuracy.dyn_o ) [14 of 37] Compiling AERN2.MP.Dyadic ( src/AERN2/MP/Dyadic.hs, dist/build/AERN2/MP/Dyadic.o, dist/build/AERN2/MP/Dyadic.dyn_o ) src/AERN2/MP/Dyadic.hs:88:5: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type NormLog not matched: NormZero | 88 | NormBits e = getNormLog (denominator xR) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [15 of 37] Compiling AERN2.MP.ErrorBound ( src/AERN2/MP/ErrorBound.hs, dist/build/AERN2/MP/ErrorBound.o, dist/build/AERN2/MP/ErrorBound.dyn_o ) [16 of 37] Compiling AERN2.MP.Enclosure ( src/AERN2/MP/Enclosure.hs, dist/build/AERN2/MP/Enclosure.o, dist/build/AERN2/MP/Enclosure.dyn_o ) [17 of 37] Compiling AERN2.Normalize ( src/AERN2/Normalize.hs, dist/build/AERN2/Normalize.o, dist/build/AERN2/Normalize.dyn_o ) [18 of 37] Compiling AERN2.MP.Ball.Type ( src/AERN2/MP/Ball/Type.hs, dist/build/AERN2/MP/Ball/Type.o, dist/build/AERN2/MP/Ball/Type.dyn_o ) src/AERN2/MP/Ball/Type.hs:140:5: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type NormLog not matched: NormZero | 140 | (NormBits nb) = bNorm | ^^^^^^^^^^^^^^^^^^^^^ [19 of 37] Compiling AERN2.MP.Ball.Conversions ( src/AERN2/MP/Ball/Conversions.hs, dist/build/AERN2/MP/Ball/Conversions.o, dist/build/AERN2/MP/Ball/Conversions.dyn_o ) [20 of 37] Compiling AERN2.MP.Ball.Comparisons ( src/AERN2/MP/Ball/Comparisons.hs, dist/build/AERN2/MP/Ball/Comparisons.o, dist/build/AERN2/MP/Ball/Comparisons.dyn_o ) src/AERN2/MP/Ball/Comparisons.hs:81:3: error: " Could not deduce (CanTestCertainly (EqCompareType MPBall b)) arising from the superclasses of an instance declaration from the context: (HasEqAsymmetric MPBall b, CanBeErrors es) bound by the instance declaration at src/AERN2/MP/Ball/Comparisons.hs:(81,3)-(85,45) " In the instance declaration for HasEqAsymmetric MPBall (CollectErrors es b) | 81 | (HasEqAsymmetric MPBall b | ^^^^^^^^^^^^^^^^^^^^^^^^^... src/AERN2/MP/Ball/Comparisons.hs:92:3: error: " Could not deduce (CanTestCertainly (EqCompareType a MPBall)) arising from the superclasses of an instance declaration from the context: (HasEqAsymmetric a MPBall, CanBeErrors es) bound by the instance declaration at src/AERN2/MP/Ball/Comparisons.hs:(92,3)-(96,45) " In the instance declaration for HasEqAsymmetric (CollectErrors es a) MPBall | 92 | (HasEqAsymmetric a MPBall | ^^^^^^^^^^^^^^^^^^^^^^^^^... src/AERN2/MP/Ball/Comparisons.hs:185:3: error: " Could not deduce (CanTestCertainly (OrderCompareType MPBall b)) arising from the superclasses of an instance declaration from the context: (HasOrderAsymmetric MPBall b, CanBeErrors es) bound by the instance declaration at src/AERN2/MP/Ball/Comparisons.hs:(185,3)-(189,49) " In the instance declaration for HasOrderAsymmetric MPBall (CollectErrors es b) | 185 | (HasOrderAsymmetric MPBall b | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/AERN2/MP/Ball/Comparisons.hs:199:3: error: " Could not deduce (CanTestCertainly (OrderCompareType a MPBall)) arising from the superclasses of an instance declaration from the context: (HasOrderAsymmetric a MPBall, CanBeErrors es) bound by the instance declaration at src/AERN2/MP/Ball/Comparisons.hs:(199,3)-(203,48) " In the instance declaration for HasOrderAsymmetric (CollectErrors es a) MPBall | 199 | (HasOrderAsymmetric a MPBall | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^... cabal: Leaving directory '/tmp/cabal-tmp-22480/aern2-mp-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-mp-0.2.9.0-KqQoyRePi3l4KdcvlpLVuG failed during the building phase. The exception was: ExitFailure 1