Fixed benchmarks to typecheck even when not-really-dead code is typechecked.

(cherry picked from commit 3dab2fbbfc)
This commit is contained in:
Vincent St-Amour 2010-07-16 18:35:54 -04:00 committed by Eli Barzilay
parent e0614cfed2
commit e983a48fa5
2 changed files with 4 additions and 4 deletions

View File

@ -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)

View File

@ -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)))