Optimization Coach should not catch break exceptions.

(cherry picked from commit f6feff3c51)
This commit is contained in:
Vincent St-Amour 2012-07-20 11:03:27 -04:00 committed by Ryan Culpepper
parent 29557d55dd
commit 89e06e802f

View File

@ -18,7 +18,7 @@
;; optimization-coach-callback : drracket:unit:frame<%> -> void
(define (optimization-coach-callback drr-frame)
(with-handlers
([exn?
([(lambda (e) (and (exn? e) (not (exn:break? e))))
;; typechecking failed, report in the interactions window
(lambda (e)
(define interactions (send drr-frame get-interactions-text))