From feddcdaef95622922869561779f64ce31f70c3dd Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 23 Sep 2010 06:23:54 -0500 Subject: [PATCH] closes PR 11241 --- collects/lang/htdp-langs.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt index 403b5dd567..6c11906e74 100644 --- a/collects/lang/htdp-langs.rkt +++ b/collects/lang/htdp-langs.rkt @@ -427,7 +427,9 @@ (newline port))) (define/override (first-opened settings) - (for-each namespace-require/constant (htdp-lang-settings-teachpacks settings))) + (for ([tp (in-list (htdp-lang-settings-teachpacks settings))]) + (with-handlers ((exn:fail? void)) ;; swallow errors here; drracket is not ready to display errors at this point + (for-each namespace-require/constant tp)))) (inherit get-module get-transformer-module get-init-code use-namespace-require/copy?)