Macro stepper: fixed another foci type bug
svn: r5477 original commit: 043c5e3d8cfd15ad62fd33342b1aeb24141cfb5f
This commit is contained in:
parent
ee080b92eb
commit
2b70c4eb6f
|
@ -188,7 +188,7 @@
|
||||||
;; stumble : syntax exception -> Reduction
|
;; stumble : syntax exception -> Reduction
|
||||||
(define (stumble stx exn)
|
(define (stumble stx exn)
|
||||||
(make-misstep (current-derivation) (big-context) 'error (context)
|
(make-misstep (current-derivation) (big-context) 'error (context)
|
||||||
stx stx exn))
|
(foci stx) stx exn))
|
||||||
|
|
||||||
;; stumble/E : syntax(s) syntax exn -> Reduction
|
;; stumble/E : syntax(s) syntax exn -> Reduction
|
||||||
(define (stumble/E focus Ee1 exn)
|
(define (stumble/E focus Ee1 exn)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user