Macro stepper: fixed another foci type bug

svn: r5477
This commit is contained in:
Ryan Culpepper 2007-01-27 19:18:28 +00:00
parent c88dd61348
commit 043c5e3d8c

View File

@ -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)