bump version for zombie change

Author: bennn

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 "3.0")
+(define version "4.0")
 (define pkg-authors '(ben))
 (define scribblings '(("scribblings/gtp-benchmarks.scrbl" () ("Benchmarks"))))
 (define compile-omit-paths '("benchmarks"))

scribblings/gtp-benchmarks.scrbl

@@ -74,6 +74,14 @@ To run a benchmark:
 
 @itemlist[
   @item[
+    @history[#:changed "4.0"
+             @elem{Replace a high-cost cast in @bm{zombie} with a predicate,
+                   and use the same predicate in untyped code. This change
+                   makes the benchmark a better test for "the cost of mixing
+                   typed and untyped code" by removing an un-equal computation
+                   between the untyped and typed versions. (It would be good
+                   to reduce the run-time cost of casts, but that's not the
+                   main concern of this benchmark suite.)}]
     @history[#:changed "3.0"
              @elem{Fixed an issue in the untyped @bm{zordoz} code.
                    Before, the untyped code imported the typed version of the @tt{compiler/zo-structs} library.