v6.0 notes

bump version,
add short note to docs,

also fix docs to avoid 'compiled' benchmark directory if it happens to
exist

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 "5.2")
+(define version "6.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

@@ -108,6 +108,22 @@ See also the GitHub release notes:
 @url{https://github.com/bennn/gtp-benchmarks/releases}
 
 @itemlist[
+  @item[
+    @history[#:changed "6.0"
+             @elem{@bold{Major Release}.
+                   Edited all benchmarks to match up typed and untyped code.
+                   Typed code now uses @racket[assert] instead of @racket[cast]
+                    and untyped code uses an untyped version of the same
+                    predicate function.
+                   Reordered functions / methods so that a per-file diff lines
+                    up; the only differences between files now should be
+                    types and @racket[require] forms.
+
+                   After, @bm{lnm} has lower overhead because of new asserts
+                    in untyped code.
+                   Both @bm{quadU} and @bm{quadT} have higher overhead,
+                    possibly because Typed Racket fixed a soundness hole in
+                    the meantime (@hyperlink["https://github.com/racket/typed-racket/commit/1643443502a54d557e4043de0d7e0b9a5e41ba7c"]{1643443}).}]]
   @item[
     @history[#:changed "5.0"
              @elem{(1) Remove an unused call to @racket[format] in the typed

scribblings/util.rkt

@@ -87,8 +87,11 @@
   (map md5sum (glob (build-path dir "**" "*.rkt"))))
 
 (define BENCHMARK-NAME*
-  (for/list ((x (in-list (directory-list benchmarks-path))))
-    (string->symbol (path->string x))))
+  (for/list ((x (in-list
+                  (map (compose1 string->symbol path->string)
+                       (directory-list benchmarks-path))))
+             #:unless (eq? 'compiled x))
+    x))
 
 (define benchmarks-key*
   (sort BENCHMARK-NAME* symbol<?)
@@ -427,7 +430,10 @@
   (void
     (clean-directory! src))
   (define udir (build-path src untyped-name))
-  (make-modulegraph (glob (build-path udir "*.rkt"))))
+  (define rkt* (glob (build-path udir "*.rkt")))
+  (unless (pair? rkt*)
+    (raise-argument-error 'get-modulegraph "directory with .rkt files" udir))
+  (make-modulegraph rkt*))
 
 (define (clean-directory! dir)
   (log-gtp-benchmarks-info "cleaning directory '~a'" dir)

utilities/modulegraph.rkt

@@ -11,7 +11,7 @@
     (complete-path->exported-identifiers
       (-> path-string? (listof symbol?)))
     (make-modulegraph
-      (-> (listof path-string?) modulegraph?))
+      (-> (and/c pair? (listof path-string?)) modulegraph?))
     (modulegraph->num-modules
       (-> modulegraph? natural?))
     (modulegraph->modules