From e4af200c895bea93afad4a55bb15bcb73f9edaaa Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 31 Aug 2012 15:53:03 -0400 Subject: [PATCH] Hide OC control panel if an error occurs during expansion. --- collects/typed-racket/optimizer/tool/tool.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index b9bb702df0..e895f20c0e 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -284,6 +284,7 @@ ([(lambda (e) (and (exn? e) (not (exn:break? e)))) ;; typechecking failed, report in the interactions window (lambda (e) + (close-optimization-coach) (send interactions reset-console) (send interactions run-in-evaluation-thread (lambda () (raise e))))])