updated macro stepper for change in Module language
svn: r9940
This commit is contained in:
parent
6db00dbd9c
commit
268e1c858e
|
@ -390,7 +390,7 @@
|
||||||
(define/private (get-original-part deriv)
|
(define/private (get-original-part deriv)
|
||||||
(let ([deriv* (adjust-deriv/lift deriv)])
|
(let ([deriv* (adjust-deriv/lift deriv)])
|
||||||
deriv*))
|
deriv*))
|
||||||
|
|
||||||
;; adjust-deriv/lift : Derivation -> (list-of Derivation)
|
;; adjust-deriv/lift : Derivation -> (list-of Derivation)
|
||||||
(define/private (adjust-deriv/lift deriv)
|
(define/private (adjust-deriv/lift deriv)
|
||||||
(match deriv
|
(match deriv
|
||||||
|
@ -403,7 +403,8 @@
|
||||||
|
|
||||||
;; adjust-deriv/top : Derivation -> Derivation
|
;; adjust-deriv/top : Derivation -> Derivation
|
||||||
(define/private (adjust-deriv/top deriv)
|
(define/private (adjust-deriv/top deriv)
|
||||||
(if (syntax-source (wderiv-e1 deriv))
|
(if (or (syntax-source (wderiv-e1 deriv))
|
||||||
|
(p:module? deriv))
|
||||||
deriv
|
deriv
|
||||||
;; It's not original...
|
;; It's not original...
|
||||||
;; Strip out mzscheme's top-interactions
|
;; Strip out mzscheme's top-interactions
|
||||||
|
|
Loading…
Reference in New Issue
Block a user