suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Don't display name of non-test files.

Browse Source 
original commit: 850d4d325d44c9a735ef9a2ca67610b7bd1ac1ea
This commit is contained in:
Vincent St-Amour 2011-05-02 11:41:34 -04:00
parent 0dc02d4682
commit b29bb134bb
1 changed files with 20 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
collects/tests/typed-scheme/optimizer/run.rkt
View File

@ -52,25 +52,27 @@
(define (test gen)
(let-values (((base name _) (split-path gen)))
(when (show-names?) (displayln name))
(or (not (regexp-match ".*rkt$" name)) ; we ignore all but racket files
;; we log optimizations and compare to an expected log to make sure
;; that all the optimizations we expected did indeed happen
(and (or (let ((log (generate-opt-log name))
;; expected optimizer log, to see what was optimized
(expected
(with-input-from-file gen
(lambda ()
(read-line) ; skip the #;
(read))))) ; get the log itself
(equal? log expected))
(begin (printf "~a failed: optimization log mismatch\n\n" name)
#f))
;; optimized and non-optimized versions must evaluate to the
;; same thing
(or (equal? (evaluator gen) (evaluator gen #:optimize #t))
(begin (printf "~a failed: result mismatch\n\n" name)
#f))))))
(begin
(when (show-names?) (displayln name))
;; we log optimizations and compare to an expected log to make sure
;; that all the optimizations we expected did indeed happen
(and (or (let ((log (generate-opt-log name))
;; expected optimizer log, to see what was optimized
(expected
(with-input-from-file gen
(lambda ()
(read-line) ; skip the #;
(read))))) ; get the log itself
(equal? log expected))
(begin
(printf "~a failed: optimization log mismatch\n\n" name)
#f))
;; optimized and non-optimized versions must evaluate to the
;; same thing
(or (equal? (evaluator gen) (evaluator gen #:optimize #t))
(begin (printf "~a failed: result mismatch\n\n" name)
#f)))))))
(define to-run
(command-line