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

Fixes a bug introduces while updating to newer version of Redex

Browse Source
This commit is contained in:
Casey Klein 2010-11-20 06:22:07 -06:00
parent 6bfbdfd582
commit abf2574189
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/examples/delim-cont/meta.rkt
View File

@ -70,7 +70,7 @@
(define-metafunction grammar
[(get-marks-core (in-hole hole hole) v e_2) e_2]
[(get-marks-core (wcm (name w_1 ((v_4 v_5) ... (v_1 v_3) (v_6 v_7) ...)) E_1) v_1 e_2) (get-marks E_1 v_1 (cons v_3 e_2))]
[(get-marks-core (wcm w_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2) (side-condition (term (notInDom (v_1 w_1))))]
[(get-marks-core (wcm w_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2) (side-condition (term (notInDom v_1 w_1)))]
[(get-marks-core (v ... E_1 e ...) v_1 e_2) (get-marks E_1 v_1 e_2)]
[(get-marks-core (if E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
[(get-marks-core (begin E_1 e) v_1 e_2) (get-marks E_1 v_1 e_2)]

12
collects/redex/examples/delim-cont/test.rkt
View File

@ -383,7 +383,17 @@
(λ () (current-marks 1 0))
(λ () #t))))
(λ (x) x)))
'(<> () [] (list 2))))
'(<> () [] (list 2)))
(test "wcm without key in continuation-marks context"
'(<> ()
[]
(% 0
(wcm ([1 2])
((λ (x) x)
(wcm ([3 4])
(current-marks 3 0))))
(λ (x) x)))
'(<> () [] (list 4))))
;; R6RS dynamic-wind ----------------------------------------