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

macro-debugger: fixed bug re local-expansion and macro hiding

Browse Source 
svn: r17642

original commit: 97135f112c7ddf6b74e23544eb9b98c823ed73c3
This commit is contained in:
Ryan Culpepper 2010-01-13 23:41:23 +00:00
parent daa389be60
commit 34c1af4bd5
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/macro-debugger/model/reductions.ss
View File

@ -366,7 +366,8 @@
[#:new-local-context [#:new-local-context
[LocalAction ?form local]]]) [LocalAction ?form local]]])
([#:pass1] ([#:pass1]
[LocalAction ?form local] ;; Use ?disconnected; do not modify real term
[LocalAction ?disconnected local]
[#:pass2])] [#:pass2])]
[LocalActions ?form rest])])) [LocalActions ?form rest])]))

12
collects/tests/macro-debugger/gentests.ss
View File

@ -101,7 +101,17 @@
(define (check-steps expected actual) (define (check-steps expected actual)
(check-pred list? actual) (check-pred list? actual)
(check-pred reduction-sequence? actual) (check-pred reduction-sequence? actual)
(compare-step-sequences actual expected)) (with-check-info (['actual-sequence-raw actual]
['actual-sequence
(for/list ([thing actual])
(if (misstep? thing)
'error
(list* (protostep-type thing)
(syntax->datum (step-term2 thing))
(map syntax->datum
(map bigframe-term (state-lctx (protostep-s1 thing)))))))]
['expected-sequence expected])
(compare-step-sequences actual expected)))
(define (reduction-sequence? rs) (define (reduction-sequence? rs)
(andmap protostep? rs)) (andmap protostep? rs))