From ddec613dc9631a4ad49b179843b488eb60357a10 Mon Sep 17 00:00:00 2001 From: Neil Toronto Date: Sat, 19 Jan 2013 18:56:37 -0700 Subject: [PATCH] Fixed type error in "bernoulli.rkt" If you merge e1b6e84089, please merge this as well (or math won't compile) --- collects/math/private/number-theory/bernoulli.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/math/private/number-theory/bernoulli.rkt b/collects/math/private/number-theory/bernoulli.rkt index e3ff94f153..0925699259 100644 --- a/collects/math/private/number-theory/bernoulli.rkt +++ b/collects/math/private/number-theory/bernoulli.rkt @@ -56,11 +56,11 @@ (for/fold: ([sum : Exact-Rational 0] [bin : Integer (binomial (+ m 3) m-6)] ) ([j (in-range 1 (+ M 1))]) - (values (+ sum (* bin (bern (- m (* 6 j))))) + (values (+ sum (* bin (bern (assert (- m (* 6 j)) natural?)))) (next-binom bin (+ m 3) (- m (* 6 j)))))) sum])) - (: bern : Integer -> Exact-Rational) + (: bern : Natural -> Exact-Rational) (define (bern n) (bs-ref! n (λ ()