Macro stepper: minor bug fix

svn: r5460
2007-01-25 19:16:14 +00:00 · 2007-01-25 19:16:14 +00:00 · 3fe785014a
commit 3fe785014a
parent f4c8a45e2a
1 changed files with 3 additions and 1 deletions
--- a/collects/macro-debugger/model/deriv-util.ss
+++ b/collects/macro-debugger/model/deriv-util.ss
@ -1,6 +1,7 @@

 (module deriv-util mzscheme
  (require "deriv.ss"
+           (lib "list.ss")
           (lib "plt-match.ss"))
  (provide IntW
           ErrW
@ -197,7 +198,8 @@
        [(AnyQ p:rename (_ _ _ _ inner))
         (loop inner)]
        [(AnyQ p:synth (_ _ _ subterms))
-         (loops (map s:subterm-deriv subterms))]
+         (loops (map s:subterm-deriv
+                     (filter s:subterm? subterms)))]

        [(AnyQ lderiv (_ _ derivs))
         (loops derivs)]