exact-real 0.12.5 → 0.12.5.1

raw patch · 10 files changed

+32/−26 lines, 10 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• LICENSE +1/−1
• changelog.md +4/−0
• default.nix +4/−8
• exact-real.cabal +5/−5
• package.yaml +4/−4
• readme.md +12/−4
• src/Data/CReal/Internal.hs +1/−1
• test/Test.hs +0/−1
• test/Test/QuickCheck/Classes/Extra.hs +1/−1
• test/Test/QuickCheck/Extra.hs +0/−1

@@ -1,4 +1,4 @@-Copyright (c) 2015 Joe Hermaszewski+Copyright (c) 2015 Ellie Hermaszewska  Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the

@@ -2,6 +2,10 @@  ## WIP +## [0.12.5.1] - 2021-12-13+- Correct author name+- Squash warnings for newer GHCs+ ## [0.12.5] - 2021-05-29 - Tweak test suite to fix #35 

@@ -1,9 +1,8 @@ { nixpkgsSrc ? builtins.fetchTarball {   url =-    "https://github.com/NixOS/nixpkgs/archive/540dccb2aeaffa9dc69bfdc41c55abd7ccc6baa3.tar.gz"; # nixos-unstable-  sha256 = "1j58m811w7xxjncf36hqcjqsfj979hkfcwx9wcrm3g3zbayavapg";-}, pkgs ? import nixpkgsSrc { }, compiler ? null, extraOverrides ? _: _: { }-, modifier ? x: x }:+    "https://github.com/NixOS/nixpkgs/archive/e675946ecde5606c505540de2024e2732bae4185.tar.gz"; # nixos-unstable+  sha256 = "1xnqhz0wxkgkwpwkal93k5rj72j39pvck542i9jyxh9bm25rc4j5";+}, pkgs ? import nixpkgsSrc { }, compiler ? null }:  let   haskellPackages = if compiler == null then@@ -14,8 +13,5 @@ in haskellPackages.developPackage {   name = "";   root = pkgs.nix-gitignore.gitignoreSource [ ] ./.;-  overrides = with pkgs.haskell.lib;-    pkgs.lib.composeExtensions (_self: _super: { }) extraOverrides;-  inherit modifier;+  overrides = _self: _super: { }; }-

@@ -1,19 +1,19 @@ cabal-version: 1.24 --- This file has been generated from package.yaml by hpack version 0.34.4.+-- This file has been generated from package.yaml by hpack version 0.34.5. -- -- see: https://github.com/sol/hpack  name:           exact-real-version:        0.12.5+version:        0.12.5.1 synopsis:       Exact real arithmetic description:    A type to represent exact real numbers using fast binary Cauchy sequences. category:       Math homepage:       https://github.com/expipiplus1/exact-real#readme bug-reports:    https://github.com/expipiplus1/exact-real/issues-author:         Joe Hermaszewski-maintainer:     Joe Hermaszewski <keep.it.real@monoid.al>-copyright:      2020 Joe Hermaszewski+author:         Ellie Hermaszewska+maintainer:     Ellie Hermaszewska <keep.it.real@monoid.al>+copyright:      2020 Ellie Hermaszewska license:        MIT license-file:   LICENSE build-type:     Custom

@@ -1,11 +1,11 @@ name: exact-real-version: "0.12.5"+version: "0.12.5.1" synopsis: Exact real arithmetic description: A type to represent exact real numbers using fast binary Cauchy sequences. category: Math-author: Joe Hermaszewski-maintainer: Joe Hermaszewski <keep.it.real@monoid.al>-copyright: 2020 Joe Hermaszewski+author: Ellie Hermaszewska+maintainer: Ellie Hermaszewska <keep.it.real@monoid.al>+copyright: 2020 Ellie Hermaszewska github: expipiplus1/exact-real extra-source-files: - readme.md

@@ -26,6 +26,18 @@ 0 :+ 0 ``` +Or:++```haskell+λ> let f :: ∀ a. Fractional a => (a, a); f = iterate (\(x0, x1) -> let x2 = 111 - (1130-3000/x0) / x1 in (x1, x2)) (11/2, 61/11) !! 100+λ> f @Double+(100.0,100.0)+λ> f @(CReal 10)+(6.0000,6.0000)+λ> f @(CReal 50)+(5.9999999879253263,5.9999999899377725)+```+ Implementation -------------- @@ -72,9 +84,5 @@ ------------  Contributions and bug reports are welcome!--Please feel free to contact me on GitHub or as "jophish" on freenode.---Joe  [goldberg]: http://www.validlab.com/goldberg/paper.pdf "What Every Computer Scientist Should Know About Floating-Point Arithmetic"

@@ -768,7 +768,7 @@                 p' = p + d                 p'' = p' + d                 m = atPrecision x p''-                xs = (%1) <$> iterate (\e -> m * e /^ p'') (bit p')+                xs = (% 1) <$> iterate (\e -> m * e /^ p'') (bit p')                 r = sum . take (t + 1) . fmap (round . (* fromInteger (bit d))) $ zipWith (*) q xs             in r /^ (2 * d)) 

@@ -13,7 +13,6 @@ import           Data.Maybe            (fromJust) import           Data.Proxy import           Data.Ratio            ((%))-import           Data.Semigroup import           GHC.TypeNats import           Numeric.Natural import           Test.Tasty            (TestTree, defaultMain, testGroup)

@@ -17,7 +17,7 @@   ) where  import Data.Group (invert, Group, Abelian)-import Data.Monoid ((<>), Sum(..), Product)+import Data.Monoid (Sum(..), Product) import Test.QuickCheck.Extra (Arbitrary, (<=>), (==>)) import Test.QuickCheck.Modifiers (NonZero) import Test.QuickCheck.Checkers (commutes, transitive, EqProp, (=-=), BinRel)

@@ -14,7 +14,6 @@  import Test.QuickCheck import Test.QuickCheck.Checkers (EqProp)-import Test.QuickCheck.Modifiers (NonZero(..), Positive(..)) import System.Random (Random)  deriving instance Num a => Num (NonZero a)