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

Better way to setup the sandbox input.

Browse Source 
original commit: 9f540bce011106dfcda7de2c13eae3bcd3d42582
This commit is contained in:
Vincent St-Amour 2010-08-27 13:59:39 -04:00
parent 5ead0f43e2
commit d516bb877d
1 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,16 +13,15 @@
(list (car (sandbox-namespace-specs))
'typed/racket
'typed/scheme)])
(let* ((lines (cdr (file->lines file))) ;; drop the #lang line
(in (if optimize?
lines
(cdr lines))) ;; drop the #:optimize
(evaluator
(make-evaluator 'typed/racket
(foldl (lambda (acc new)
(string-append new "\n" acc))
"" in)))
(out (get-output evaluator)))
;; drop the #lang line
(let* ((prog (regexp-replace #rx"^#lang typed/(scheme|racket)(/base)?"
(file->string file) ""))
(in (if optimize?
prog
;; drop the #:optimize
(regexp-replace #rx"#:optimize" prog "")))
(evaluator (make-evaluator 'typed/racket in))
(out (get-output evaluator)))
(kill-evaluator evaluator)
out)))))