Resolving dependencies... Starting cdar-mBound-0.1.0.4 Starting data-array-byte-0.1.0.1 Starting colour-2.3.6 Starting haskell-lexer-1.1.1 Starting hspec-discover-2.10.10 Starting logict-0.8.0.0 Starting reflection-2.1.7 Starting regex-base-0.94.0.2 Starting setenv-0.1.1.3 Starting call-stack-0.4.0 Starting integer-logarithms-1.0.3.1 Starting splitmix-0.1.0.4 Building colour-2.3.6 Building cdar-mBound-0.1.0.4 Building data-array-byte-0.1.0.1 Building haskell-lexer-1.1.1 Building reflection-2.1.7 Building logict-0.8.0.0 Building hspec-discover-2.10.10 Building regex-base-0.94.0.2 Building call-stack-0.4.0 Building integer-logarithms-1.0.3.1 Building setenv-0.1.1.3 Building splitmix-0.1.0.4 Completed integer-logarithms-1.0.3.1 Completed call-stack-0.4.0 Starting HUnit-1.6.2.0 Building HUnit-1.6.2.0 Completed data-array-byte-0.1.0.1 Starting primitive-0.8.0.0 Completed setenv-0.1.1.3 Building primitive-0.8.0.0 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Completed logict-0.8.0.0 Starting smallcheck-1.2.1 Building random-1.2.1.1 Building smallcheck-1.2.1 Completed hspec-discover-2.10.10 Completed regex-base-0.94.0.2 Starting regex-tdfa-1.3.2 Completed colour-2.3.6 Starting ansi-terminal-types-0.11.5 Building regex-tdfa-1.3.2 Building ansi-terminal-types-0.11.5 Completed reflection-2.1.7 Completed HUnit-1.6.2.0 Starting hspec-expectations-0.8.2 Building hspec-expectations-0.8.2 Completed cdar-mBound-0.1.0.4 Completed ansi-terminal-types-0.11.5 Starting ansi-terminal-0.11.5 Building ansi-terminal-0.11.5 Completed hspec-expectations-0.8.2 Completed smallcheck-1.2.1 Completed ansi-terminal-0.11.5 Completed random-1.2.1.1 Starting QuickCheck-2.14.2 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-2.10.10 Starting hspec-smallcheck-0.5.3 Building hspec-2.10.10 Building hspec-smallcheck-0.5.3 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.13.0 Building aern2-real-0.2.13.0 Failed to install aern2-real-0.2.13.0 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/aern2-real-0.2.13.0-LeAseOEvNQKOOwvhiaxql.log ): cabal: Entering directory '/tmp/cabal-tmp-2094510/aern2-real-0.2.13.0' Configuring aern2-real-0.2.13.0... Preprocessing library for aern2-real-0.2.13.0.. Building library for aern2-real-0.2.13.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-2094510/aern2-real-0.2.13.0' Error: cabal: Some packages failed to install: aern2-real-0.2.13.0-LeAseOEvNQKOOwvhiaxql failed during the building phase. The exception was: ExitFailure 1