tighten promised contract of denominator

2020-06-02 17:57:09 -05:00 · 2020-06-02 17:57:09 -05:00 · 8908496ba1
commit 8908496ba1
parent 8b8e3913a8
1 changed files with 1 additions and 1 deletions
--- 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