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.9.1 +version: 0.2.9.2 synopsis: Real numbers as convergent sequences of intervals description: Please see the README on GitHub at category: Math diff --git a/changelog.md b/changelog.md --- a/changelog.md +++ b/changelog.md @@ -1,5 +1,7 @@ # Change log for aern2-real +* v 0.2.9.2 2022-08-19 + * add to RealNumber: HasIfThenElse for its SelectType * v 0.2.9 2022-07-13 (update in aern2-mp) * v 0.2.8 2021-08-04 * compatibility with ghc 9.0.1 diff --git a/src/AERN2/Real.hs b/src/AERN2/Real.hs --- a/src/AERN2/Real.hs +++ b/src/AERN2/Real.hs @@ -56,6 +56,7 @@ , HasLimits Integer r , HasLimits Rational r , CanSelect (OrderCompareType r r) + , HasIfThenElseSameType (SelectType (OrderCompareType r r)) r , (CanTestCertainly (SelectType (OrderCompareType r r)))) => RealNumber r