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

Restricts the test generator's use of `dw' thunks

Browse Source
This commit is contained in:
Casey Klein 2011-01-03 05:17:13 -06:00
parent 8190f3341b
commit 69227df4bf
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/redex/examples/delim-cont/randomized-tests.rkt
View File

@ -185,10 +185,14 @@
(append xs loc-vars)
e))]
[`(dw ,x ,e_1 ,e_2 ,e_3)
; Local variables are substituted away in realistic pre-
; and post-thunks. This invariant is important to
; `consistent-dws', which copies such thunks into different
; scopes.
`(dw ,x
,(close top-vars loc-vars e_1)
,(close top-vars '() e_1)
,(close top-vars loc-vars e_2)
,(close top-vars loc-vars e_3))]
,(close top-vars '() e_3))]
; substitution does not recur inside continuation values
; (not sure why it bothers to recur within dw expression)
[`(cont ,v ,E)