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

Changed the optimizer's test harness to ignore type tables.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-02 19:35:33 -04:00
parent cb0e058cff
commit e8a0a26c2f
1 changed files with 16 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,17 +5,22 @@
;; we compare the expansion of automatically optimized and hand optimized
;; modules
(define (read-and-expand file)
;; drop the "module", its name and its language, so that we can write the
;; 2 versions of each test in different languages (typed and untyped) if
;; need be
(cdddr
(syntax->datum
(parameterize ([current-namespace (make-base-namespace)])
(with-handlers
([exn:fail? (lambda (exn)
(printf "~a\n" (exn-message exn))
#'(#f #f #f #f))]) ; for cdddr
(expand (with-input-from-file file read-syntax)))))))
;; drop the type tables added by typed scheme, since they can be in a
;; different order each time, and that would make tests fail when they
;; shouldn't
(filter
;; drop the "module", its name and its language, so that we can write
;; the 2 versions of each test in different languages (typed and
;; untyped) if need be
(match-lambda [(list 'define-values-for-syntax '() _ ...) #f] [_ #t])
(cadddr
(syntax->datum
(parameterize ([current-namespace (make-base-namespace)])
(with-handlers
([exn:fail? (lambda (exn)
(printf "~a\n" (exn-message exn))
#'(#f #f #f (#f)))]) ; for cadddr
(expand (with-input-from-file file read-syntax))))))))
(define (test gen)
(let-values (((base name _) (split-path gen)))