macro stepper: fixed disappearing term bug
svn: r12684
This commit is contained in:
parent
da2fd6489d
commit
8cad79c2bf
|
@ -300,8 +300,8 @@
|
||||||
(ModuleProvide/Inner
|
(ModuleProvide/Inner
|
||||||
[() #f]
|
[() #f]
|
||||||
[(!!) $1]
|
[(!!) $1]
|
||||||
[(EE/Interrupted) $1]
|
[((? EE) (? ModuleProvide/Inner))
|
||||||
[(EE (? ModuleProvide/Inner)) $2])
|
$2])
|
||||||
|
|
||||||
;; Definitions
|
;; Definitions
|
||||||
(PrimDefineSyntaxes
|
(PrimDefineSyntaxes
|
||||||
|
|
|
@ -136,9 +136,6 @@
|
||||||
(stepper this)
|
(stepper this)
|
||||||
(config config)))
|
(config config)))
|
||||||
|
|
||||||
#;
|
|
||||||
(send config listen-show-syntax-properties?
|
|
||||||
(lambda (show?) (send sbview show-props show?)))
|
|
||||||
(send config listen-show-hiding-panel?
|
(send config listen-show-hiding-panel?
|
||||||
(lambda (show?) (show-macro-hiding-panel show?)))
|
(lambda (show?) (show-macro-hiding-panel show?)))
|
||||||
(send sbc listen-selected-syntax
|
(send sbc listen-selected-syntax
|
||||||
|
@ -378,6 +375,7 @@
|
||||||
(send (focused-term) on-get-focus))
|
(send (focused-term) on-get-focus))
|
||||||
(update))
|
(update))
|
||||||
|
|
||||||
|
#|
|
||||||
;; delayed-recache-errors : (list-of (cons exn string))
|
;; delayed-recache-errors : (list-of (cons exn string))
|
||||||
(define delayed-recache-errors null)
|
(define delayed-recache-errors null)
|
||||||
|
|
||||||
|
@ -407,6 +405,7 @@
|
||||||
"")))
|
"")))
|
||||||
(set! delayed-recache-errors null)))))
|
(set! delayed-recache-errors null)))))
|
||||||
(raise exn)))
|
(raise exn)))
|
||||||
|
|#
|
||||||
|
|
||||||
(define/private (foci x) (if (list? x) x (list x)))
|
(define/private (foci x) (if (list? x) x (list x)))
|
||||||
|
|
||||||
|
@ -422,7 +421,6 @@
|
||||||
;; Initialization
|
;; Initialization
|
||||||
|
|
||||||
(super-new)
|
(super-new)
|
||||||
#;(send sbview show-props (send config get-show-syntax-properties?))
|
|
||||||
(show-macro-hiding-panel (send config get-show-hiding-panel?))
|
(show-macro-hiding-panel (send config get-show-hiding-panel?))
|
||||||
(show-extra-navigation (send config get-extra-navigation?))
|
(show-extra-navigation (send config get-extra-navigation?))
|
||||||
(refresh/move)
|
(refresh/move)
|
||||||
|
|
|
@ -275,13 +275,16 @@
|
||||||
|
|
||||||
;; display-final-term : -> void
|
;; display-final-term : -> void
|
||||||
(define/public (display-final-term)
|
(define/public (display-final-term)
|
||||||
(recache-synth!)
|
(recache-steps!)
|
||||||
(cond [(syntax? raw-steps-estx)
|
(cond [(syntax? raw-steps-estx)
|
||||||
(add-syntax raw-steps-estx binders definites)]
|
(add-syntax raw-steps-estx binders definites)]
|
||||||
[(exn? error)
|
[(exn? error)
|
||||||
(add-error error)]
|
(add-error error)]
|
||||||
[raw-steps-oops
|
[raw-steps-oops
|
||||||
(add-internal-error "steps" raw-steps-oops #f)]))
|
(add-internal-error "steps" raw-steps-oops #f)]
|
||||||
|
[else
|
||||||
|
(error 'term-record::display-final-term
|
||||||
|
"internal error")]))
|
||||||
|
|
||||||
;; display-step : -> void
|
;; display-step : -> void
|
||||||
(define/public (display-step)
|
(define/public (display-step)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user