macro-debugger: another internal error bug
svn: r18342
This commit is contained in:
parent
ca8459a3a0
commit
6bb3b5f1b6
|
@ -425,7 +425,7 @@
|
||||||
(let ([deriv* (adjust-deriv/lift deriv)])
|
(let ([deriv* (adjust-deriv/lift deriv)])
|
||||||
deriv*))
|
deriv*))
|
||||||
|
|
||||||
;; adjust-deriv/lift : Derivation -> (list-of Derivation)
|
;; adjust-deriv/lift : Deriv -> Deriv/#f
|
||||||
(define/private (adjust-deriv/lift deriv)
|
(define/private (adjust-deriv/lift deriv)
|
||||||
(match deriv
|
(match deriv
|
||||||
[(Wrap lift-deriv (e1 e2 first lifted-stx second))
|
[(Wrap lift-deriv (e1 e2 first lifted-stx second))
|
||||||
|
@ -442,8 +442,8 @@
|
||||||
|
|
||||||
;; adjust-deriv/top : Derivation -> Derivation
|
;; adjust-deriv/top : Derivation -> Derivation
|
||||||
(define/private (adjust-deriv/top deriv)
|
(define/private (adjust-deriv/top deriv)
|
||||||
(if (or (and #| (syntax-source (wderiv-e1 deriv)) |#
|
(if (or (not deriv)
|
||||||
(syntax-original? (wderiv-e1 deriv)))
|
(syntax-original? (wderiv-e1 deriv))
|
||||||
(p:module? deriv))
|
(p:module? deriv))
|
||||||
deriv
|
deriv
|
||||||
;; It's not original...
|
;; It's not original...
|
||||||
|
|
Loading…
Reference in New Issue
Block a user