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

Share typed-racket instantiation across different runs of the optimizer.

Browse Source 
original commit: b294f8d2d5eca38397554636caa4a16c75237df4
This commit is contained in:
Eric Dobson 2013-06-20 08:56:21 -07:00
parent b0b67529cd
commit a895c9618a
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/places.rkt
View File

@ -44,6 +44,7 @@
(let loop ()
(match (place-channel-get get-ch)
[(vector 'log name dir res)
(dynamic-require 'typed-racket/core #f)
(with-handlers ([exn:fail?
(λ (e) (place-channel-put
res
@ -64,6 +65,8 @@
(place-channel-put res #t)))
(loop)]))))
(define-namespace-anchor anchor)
(define (generate-log/place name dir)
;; some tests require other tests, so some fiddling is required
(define file (simplify-path (build-path dir name)))
@ -85,4 +88,7 @@
(thunk
(parameterize ([current-namespace (make-base-empty-namespace)]
[current-load/use-compiled test-load/use-compiled])
(define orig-namespace (namespace-anchor->namespace anchor))
(namespace-attach-module orig-namespace 'racket)
(namespace-attach-module orig-namespace 'typed-racket/core)
(dynamic-require file #f)))))))