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

macro-stepper: fix for lifted provides

Browse Source 
closes PR 13236

original commit: 321cd1b4aee78f8c88b028601d63dbfa59ff70fd
This commit is contained in:
Ryan Culpepper 2012-11-05 17:25:20 -05:00
parent a3ae3177df
commit 4339fbad87
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/macro-debugger/model/reductions.rkt
View File

@ -721,12 +721,14 @@
[#:set-syntax (append stxs old-forms)]
[ModulePass ?forms rest]])]
[(cons (Wrap mod:lift-end (stxs)) rest)
(R [#:pattern ?forms]
[#:when (pair? stxs)
[#:left-foot null]
[#:set-syntax (append stxs #'?forms)]
[#:step 'splice-module-lifts stxs]]
[ModulePass ?forms rest])]
;; In pass2, stxs contains a mixture of terms and kind-tagged terms (pairs)
(let ([stxs (map (lambda (e) (if (pair? e) (car e) e)) stxs)])
(R [#:pattern ?forms]
[#:when (pair? stxs)
[#:left-foot null]
[#:set-syntax (append stxs #'?forms)]
[#:step 'splice-module-lifts stxs]]
[ModulePass ?forms rest]))]
[(cons (Wrap mod:skip ()) rest)
(R [#:pattern (?firstS . ?rest)]
[ModulePass ?rest rest])]