fast-arithmetic 0.3.3.2 → 0.3.3.3
raw patch · 5 files changed
+14/−14 lines, 5 filesdep ~base
Dependency ranges changed: base
Files
- ats-src/numerics-internal.dats +1/−1
- atspkg.dhall +3/−3
- fast-arithmetic.cabal +8/−8
- src/Numeric/Combinatorics.hs +1/−1
- src/Numeric/Integer.hs +1/−1
ats-src/numerics-internal.dats view
@@ -21,7 +21,7 @@ fun fib_gmp(n : intGte(0)) : Intinf = let var z = ptr_alloc()- var x: ulint = g0int2uint_int_ulint(n + 1)+ var x = g0int2uint(n + 1) val () = $GMP.mpz_init(!(z.2)) val () = $GMP.mpz_fib_uint(!(z.2), x) in
atspkg.dhall view
@@ -1,15 +1,15 @@ let prelude = https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall -in prelude.default //+in prelude.default ⫽ { libraries = [- prelude.lib //+ prelude.lib ⫽ { name = "storable" , src = [ "ats-src/combinatorics.dats", "ats-src/number-theory.dats", "ats-src/numerics.dats" ] , libTarget = "dist-newstyle/lib/libnumbertheory.a" , static = True } ]- , compiler = [0,3,8]+ , compiler = [0,3,10] , dependencies = prelude.mapPlainDeps [ "atscntrb-hx-intinf" ] }
fast-arithmetic.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: fast-arithmetic-version: 0.3.3.2+version: 0.3.3.3 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018 Vanessa McHale@@ -18,14 +18,14 @@ dist-newstyle/lib/empty extra-doc-files: README.md +source-repository head+ type: git+ location: git@github.com:vmchale/hs-ats.git+ custom-setup setup-depends: base -any, Cabal -any,- ats-pkg >= 2.7.0.0--source-repository head- type: git- location: git@github.com:vmchale/fast-arithmetic.git+ ats-pkg >=2.7.0.0 flag development description:@@ -66,7 +66,7 @@ default-language: Haskell2010 ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall build-depends:- base -any,+ base ==4.10.*, fast-arithmetic -any, hspec -any, QuickCheck -any,@@ -87,7 +87,7 @@ default-language: Haskell2010 ghc-options: -Wall build-depends:- base -any,+ base ==4.10.*, fast-arithmetic -any, criterion -any, arithmoi -any,
src/Numeric/Combinatorics.hs view
@@ -33,7 +33,7 @@ catalan :: Int -> Integer catalan = unsafePerformIO . conjugateGMP catalan_ats --- | See [here](http://mathworld.wolfram.com/BinomialCoefficient.html).+-- | \( \binom{n}{k} \) choose :: Int -> Int -> Integer choose = unsafePerformIO .* (gmpToInteger <=<) . (peek .* on choose_ats fromIntegral)
src/Numeric/Integer.hs view
@@ -22,6 +22,6 @@ fibonacci :: Int -> Integer fibonacci = unsafePerformIO . conjugateGMP fib_ats --- | O(√n)+-- | \( O(\sqrt(n)) \) isPrime :: Int -> Bool isPrime = asTest is_prime_ats