aern2-real 0.2.4.2 → 0.2.4.3

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• README.md +1/−1
• aern2-real.cabal +2/−2

@@ -343,4 +343,4 @@  Most `CReal` operations are simply lifts of the corresponding `CN MPBall` operations, which are tested in package [aern2-mp](../aern2-mp/README.md) against a fairly complete hspec/QuickCheck specification of algebraic properties. -TODO: limit and select tests+There are also tests specific to `CReal`, mostly checking that `? (bits n)` queries return sufficiently accurate approximations.  There is are tests for `select` and `limit`.

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 3151e2ca5ff87f336ef6dcee52880846eb078521c97ccaadf6e06c9754fe11ed+-- hash: 9e106106d0bd593449a861fdba5c8ce5eb3de6bab0d62934c6a6bbb41d51783a  name:           aern2-real-version:        0.2.4.2+version:        0.2.4.3 synopsis:       Real numbers as sequences of MPBalls description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category:       Math