version 9: acquire + take5

thank you @LLazarek

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 "8.2")
+(define version "9.0")
 (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,14 @@ See also the GitHub release notes:
 @url{https://github.com/bennn/gtp-benchmarks/releases}
 
 @itemlist[
+  @item[
+    @history[#:changed "9.0"
+             @elem{Substantially revise @racket[acquire] and @racket[take5].
+                   Before, @racket[acquire] ran a game with AI players that all raised
+                   exceptions and @racket[take5] ignored an input list of AI players.
+                   After, the @racket[acquire] players make valid moves and
+                   @racket[take5] uses its input. These changes have little impact
+                   on typed/untyped overhead.}]]
   @item[
     @history[#:changed "8.0"
              @elem{Remove @racket[racket/sandbox] dependency from @bm{acquire}