From e983a48fa5ed636029f3780475a792b2cbf16cde Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 16 Jul 2010 18:35:54 -0400 Subject: [PATCH] Fixed benchmarks to typecheck even when not-really-dead code is typechecked. (cherry picked from commit 3dab2fbbfc05a65e29be5e9a5b222dd1405042d7) --- collects/tests/racket/benchmarks/common/typed/nucleic3.rktl | 4 ++-- .../tests/racket/benchmarks/shootout/typed/binarytrees.rktl | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/tests/racket/benchmarks/common/typed/nucleic3.rktl b/collects/tests/racket/benchmarks/common/typed/nucleic3.rktl index 1b09af4dc3..48a78c673c 100644 --- a/collects/tests/racket/benchmarks/common/typed/nucleic3.rktl +++ b/collects/tests/racket/benchmarks/common/typed/nucleic3.rktl @@ -3068,7 +3068,7 @@ (tfo-inv-ortho (cond ((rA? ref-nuc) (tfo-align (atom-pos nuc-C1* ref) - (atom-pos rA-N9 ref) + (atom-pos (lambda (x) (rA-N9 (assert x rA?))) ref) (atom-pos nuc-C4 ref))) ((rC? ref-nuc) (tfo-align (atom-pos nuc-C1* ref) @@ -3076,7 +3076,7 @@ (atom-pos nuc-C2 ref))) ((rG? ref-nuc) (tfo-align (atom-pos nuc-C1* ref) - (atom-pos rG-N9 ref) + (atom-pos (lambda (x) (rG-N9 (assert x rG?))) ref) (atom-pos nuc-C4 ref))) ((rU? ref-nuc) (tfo-align (atom-pos nuc-C1* ref) diff --git a/collects/tests/racket/benchmarks/shootout/typed/binarytrees.rktl b/collects/tests/racket/benchmarks/shootout/typed/binarytrees.rktl index 98e872287c..6fb800b1da 100644 --- a/collects/tests/racket/benchmarks/shootout/typed/binarytrees.rktl +++ b/collects/tests/racket/benchmarks/shootout/typed/binarytrees.rktl @@ -26,8 +26,8 @@ (: check (*leaf -> Integer)) (define (check t) - (let loop ([t t] [acc 0]) - (let ([acc (fx+ (leaf-val t) acc)]) + (let: loop : Integer ([t : *leaf t] [acc : Integer 0]) + (let: ([acc : Integer (fx+ (leaf-val t) acc)]) (if (node? t) (loop (node-left t) (fx- acc (loop (node-right t) 0)))