From 6bf6f4d3928fca6d1b18899a1c6001b350250c1a Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 22 Jan 2015 20:04:16 -0600
Subject: [PATCH] add a generator for exact-integer

---
 racket/collects/racket/contract/private/generate-base.rkt | 7 +++++++
 1 file changed, 7 insertions(+)

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