From 964a941833e186dfc25bc99d305ca33ffbaf75e8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 27 Jul 2002 22:26:23 +0000 Subject: [PATCH] . original commit: 57fc6dfe8dcc7cefec4bb69d90f7a3ecafeec281 --- collects/mred/mred.ss | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 24d57096..f2b91404 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -5220,7 +5220,10 @@ (check-label-string/false who message) (check-top-level-parent/false who parent) (check-string/false who directory) (check-string/false who filename) (check-string/false who extension) - (check-style who #f (if (or put?) null '(packages-ok)) style) + (check-style who #f (cond + [put? null] + [dir? '(enter-packages)] + [else '(packages enter-packages)]) style) (unless (and (list? filters) (andmap (lambda (p) (and (list? p) @@ -5243,9 +5246,7 @@ [put? 'put] [multi? 'multi] [else 'get]) - (if (memq 'packages-ok style) - '(bundles-ok) - null)) + style) ;; parent: (and parent (mred->wx parent)))]) (if (and multi? s)