diff --git a/racket/collects/racket/contract/private/generate-base.rkt b/racket/collects/racket/contract/private/generate-base.rkt index b4b72cf300..e09c19e042 100644 --- a/racket/collects/racket/contract/private/generate-base.rkt +++ b/racket/collects/racket/contract/private/generate-base.rkt @@ -36,6 +36,10 @@ (rand-choice [1/2 -1] [else 1]) (exact-nonnegative-integer-gen fuel))) +(define (exact-integer-gen fuel) + (* (rand-choice [1/2 -1] [else 1]) + (exact-nonnegative-integer-gen fuel))) + (define (exact-nonnegative-integer-gen fuel) (rand-choice [1/10 0] @@ -64,6 +68,9 @@ integer? integer-gen + exact-integer? + exact-integer-gen + exact-nonnegative-integer? exact-nonnegative-integer-gen