diff --git a/aern2-real.cabal b/aern2-real.cabal --- a/aern2-real.cabal +++ b/aern2-real.cabal @@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: aern2-real -version: 0.2.14 +version: 0.2.14.1 synopsis: Real numbers as convergent sequences of intervals description: Please see the README on GitHub at category: Math @@ -60,7 +60,7 @@ ghc-options: -Wall build-depends: QuickCheck - , aern2-mp >=0.2.11.0 + , aern2-mp >=0.2.14 , base ==4.* , collect-errors >=0.1.5 , hspec @@ -92,7 +92,7 @@ ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall build-depends: QuickCheck - , aern2-mp >=0.2.11.0 + , aern2-mp >=0.2.14 , aern2-real , base ==4.* , collect-errors >=0.1.5 diff --git a/changelog.md b/changelog.md --- a/changelog.md +++ b/changelog.md @@ -1,8 +1,8 @@ # Change log for aern2-real * current -* v 0.2.14 2023-04-10 - * fix compilation error +* v 0.2.14.1 2023-04-10 + * fix compilation errors * v 0.2.13 2023-04-07 * unsafeApproximationExtension * v 0.2.12 2023-04-07 diff --git a/src/AERN2/Real/CKleenean.hs b/src/AERN2/Real/CKleenean.hs --- a/src/AERN2/Real/CKleenean.hs +++ b/src/AERN2/Real/CKleenean.hs @@ -73,7 +73,7 @@ type AndOrType (CSequence t1) Kleenean = CSequence (AndOrType t1 Kleenean) and2 = lift1T and2 or2 = lift1T or2 - + class CanAndOrCountable t where or_countable :: (Integer -> t) -> t and_countable :: (Integer -> t) -> t