suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add a generator for exact-integer

Browse Source
This commit is contained in:
Robby Findler 2015-01-22 20:04:16 -06:00
parent 2ffb546c95
commit 6bf6f4d392
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
racket/collects/racket/contract/private/generate-base.rkt
View File

@ -36,6 +36,10 @@
(rand-choice [1/2 -1] [else 1]) (rand-choice [1/2 -1] [else 1])
(exact-nonnegative-integer-gen fuel))) (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) (define (exact-nonnegative-integer-gen fuel)
(rand-choice (rand-choice
[1/10 0] [1/10 0]
@ -64,6 +68,9 @@
integer? integer?
integer-gen integer-gen
exact-integer?
exact-integer-gen
exact-nonnegative-integer? exact-nonnegative-integer?
exact-nonnegative-integer-gen exact-nonnegative-integer-gen