Hide OC control panel if an error occurs during expansion.
This commit is contained in:
parent
d544e9fbe7
commit
e4af200c89
|
@ -284,6 +284,7 @@
|
||||||
([(lambda (e) (and (exn? e) (not (exn:break? e))))
|
([(lambda (e) (and (exn? e) (not (exn:break? e))))
|
||||||
;; typechecking failed, report in the interactions window
|
;; typechecking failed, report in the interactions window
|
||||||
(lambda (e)
|
(lambda (e)
|
||||||
|
(close-optimization-coach)
|
||||||
(send interactions reset-console)
|
(send interactions reset-console)
|
||||||
(send interactions run-in-evaluation-thread
|
(send interactions run-in-evaluation-thread
|
||||||
(lambda () (raise e))))])
|
(lambda () (raise e))))])
|
||||||
|
|
Loading…
Reference in New Issue
Block a user