From b11c48552349a40cd73ee6eb43f80a74aed7219d Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@ccs.neu.edu>
Date: Sun, 17 Nov 2013 12:24:51 -0500
Subject: [PATCH] integer is now natural, Closes PR14156

---
 pkgs/htdp-pkgs/htdp-lib/lang/private/advanced-funs.rkt | 4 ++--
 pkgs/htdp-pkgs/htdp-lib/lang/private/beginner-funs.rkt | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/pkgs/htdp-pkgs/htdp-lib/lang/private/advanced-funs.rkt b/pkgs/htdp-pkgs/htdp-lib/lang/private/advanced-funs.rkt
index c8a8a50006..1a7f002b6f 100644
--- a/pkgs/htdp-pkgs/htdp-lib/lang/private/advanced-funs.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/private/advanced-funs.rkt
@@ -54,7 +54,7 @@
        *bsl))
    
    ("Numbers: Integers, Rationals, Reals, Complex, Exacts, Inexacts"
-    @defproc[(random [x integer]) integer]{
+    @defproc[(random [x natural]) natural]{
     Generates a random natural number less than some given integer
     In ASL: @racket[random] generate a random inexact number between 0.0
     and 1.0 exclusive when applied to no argument.
@@ -399,7 +399,7 @@
     })) 
 
 #|
-@defproc[(random (case-> (integer -> integer) (-> (and/c real inexact? (>/c 0) (</c 1)))]{
+@defproc[(random (case-> (natural -> natural) (-> (and/c real inexact? (>/c 0) (</c 1)))]{
  Generates a random natural number less than some given integer, or to
  generate a random inexact number between 0.0 and 1.0 exclusive.}
 
diff --git a/pkgs/htdp-pkgs/htdp-lib/lang/private/beginner-funs.rkt b/pkgs/htdp-pkgs/htdp-lib/lang/private/beginner-funs.rkt
index e65a6841e7..41811e88f3 100644
--- a/pkgs/htdp-pkgs/htdp-lib/lang/private/beginner-funs.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/private/beginner-funs.rkt
@@ -376,8 +376,8 @@
                                                     Lookups the character that corresponds to the given exact integer in the ASCII table (if any). 
                                                     @interaction[#:eval (bsl) (integer->char 42)]
                                                     }
-  @defproc[((beginner-random random) [x integer]) integer]{
-                                                           Generates a random natural number less than some given exact integer. 
+  @defproc[((beginner-random random) [x natural]) natural]{
+                                                           Generates a random natural number less than some given exact natural.
                                                            @interaction[#:eval (bsl) (random 42)]
                                                            }
   @defproc[(current-seconds) integer]{