From f208d0dae81bbe8762c0d7553ca21f5f9450ceb1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jens=20Axel=20S=C3=B8gaard?= Date: Sat, 17 Nov 2012 20:39:46 +0100 Subject: [PATCH] Add note about untyped- in docs for next-prime and prev-prime --- collects/math/scribblings/math-number-theory.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/math/scribblings/math-number-theory.scrbl b/collects/math/scribblings/math-number-theory.scrbl index 702060fe34..1ceb38677c 100644 --- a/collects/math/scribblings/math-number-theory.scrbl +++ b/collects/math/scribblings/math-number-theory.scrbl @@ -198,8 +198,8 @@ Returns the first prime larger than @racket[z]. (untyped-next-prime 4) (untyped-next-prime 5)] -TODO: Figure out how to export next-prime even though -TR can't make contract automatically. +Note: Use @racket[next-prime] in Typed Racket and +@racket[untyped-next-prime] otherwise. } @defproc[(prev-prime [z Integer]) prime?]{ @@ -209,8 +209,8 @@ Returns the first prime smaller than @racket[z]. (untyped-prev-prime 4) (untyped-prev-prime 5)] -TODO: Figure out how to export prev-prime even though -TR can't make contract automatically. +Note: Use @racket[prev-prime] in Typed Racket and +@racket[untyped-prev-prime] otherwise. } @defproc[(next-primes [z Integer] [n Natural]) (Listof prime?)]{