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

Macro stepper: fixed internal error

Browse Source 
svn: r5583

original commit: 94ee28f1d50be46f7e0e759c3758af3781bcc54a
This commit is contained in:
Ryan Culpepper 2007-02-09 18:21:10 +00:00
parent ea26c3f5ef
commit 3b5732fb6e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -245,7 +245,8 @@
(let ([ctx (lambda (x) (path-replace term path0 x))])
(append (with-context ctx
(reductions deriv0))
(loop (path-replace term path0 (deriv-e2 deriv0))
(loop (and (deriv? deriv0)
(path-replace term path0 (deriv-e2 deriv0)))
(cdr subterms)))))]
[(s:rename? (car subterms))
(let* ([subterm0 (car subterms)])