From 8908496ba17bbd3f5ca78adeb944460ddb343a85 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 2 Jun 2020 17:57:09 -0500 Subject: [PATCH] tighten promised contract of `denominator` --- pkgs/racket-doc/scribblings/reference/numbers.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/numbers.scrbl b/pkgs/racket-doc/scribblings/reference/numbers.scrbl index e1b55d7a35..30927d0061 100644 --- a/pkgs/racket-doc/scribblings/reference/numbers.scrbl +++ b/pkgs/racket-doc/scribblings/reference/numbers.scrbl @@ -464,7 +464,7 @@ Coerces @racket[q] to an exact number, finds the numerator of the @mz-examples[(numerator 5) (numerator 34/8) (numerator 2.3)]} -@defproc[(denominator [q rational?]) integer?]{ +@defproc[(denominator [q rational?]) (and/c integer? positive?)]{ Coerces @racket[q] to an exact number, finds the denominator of the number expressed in its simplest fractional form, and returns this