take5: add assert for random

Author: bennn

benchmarks/take5/typed/card-pool.rkt

@@ -44,7 +44,7 @@
 ;; pick a random number of BULLS 
 (: random-bulls (-> Bulls))
 (define (random-bulls)
-  (random MIN-BULL (+ MAX-BULL 1) rng))
+  (assert (random MIN-BULL (+ MAX-BULL 1) rng) exact-nonnegative-integer?))
 
 (: card-pool% CardPool%)
 (define card-pool%

benchmarks/take5/untyped/card-pool.rkt

@@ -37,7 +37,7 @@
 ;; -> Bulls
 ;; pick a random number of BULLS 
 (define (random-bulls)
-  (random MIN-BULL (+ MAX-BULL 1) rng))
+  (assert (random MIN-BULL (+ MAX-BULL 1) rng) exact-nonnegative-integer?))
 
 (define card-pool%
   (class object%

info.rkt

@@ -3,7 +3,7 @@
 (define deps '("base" "typed-racket-lib" "typed-racket-more" "require-typed-check"))
 (define build-deps '("scribble-lib" "racket-doc" "rackunit-lib" "typed-racket-doc" "at-exp-lib" "gtp-util" "pict-lib" "scribble-abbrevs" "syntax-sloc" "with-cache"))
 (define pkg-desc "Gradual typing benchmark programs")
-(define version "9.1")
+(define version "9.2")
 (define pkg-authors '(ben))
 (define scribblings '(("scribblings/gtp-benchmarks.scrbl" () ("Benchmarks"))))
 (define compile-omit-paths '("benchmarks" "utilities/sample-gtp-measure-manifest.rkt"))

scribblings/gtp-benchmarks.scrbl

@@ -122,6 +122,12 @@ See also the GitHub release notes:
 @url{https://github.com/bennn/gtp-benchmarks/releases}
 
 @itemlist[
+  @item[
+    @history[#:changed "9.2"
+             @elem{Add an @racket[assert] in @racket[take5] to accommodate the
+                   improved type of @racket[random] in Racket v8.9
+                   (@hyperlink["https://github.com/racket/typed-racket/commit/246173a67"]{@tt{246173a67}}).
+                   This change affects the typed and untyped configurations.}]]
   @item[
     @history[#:changed "9.1"
              @elem{In @racket[take5], replace the @racket[(module+ main expr)] with