aern2-real 0.2.14 → 0.2.14.1
raw patch · 3 files changed
+6/−6 lines, 3 filesdep ~aern2-mp
Dependency ranges changed: aern2-mp
Files
- aern2-real.cabal +3/−3
- changelog.md +2/−2
- src/AERN2/Real/CKleenean.hs +1/−1
aern2-real.cabal view
@@ -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 <https://github.com/michalkonecny/aern2/#readme> 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
changelog.md view
@@ -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
src/AERN2/Real/CKleenean.hs view
@@ -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