From 4c65ee6d58483439a20abc176a57b1bdeaae7c19 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 17 Nov 2013 10:16:24 -0600 Subject: [PATCH] fix contract (#f can always happen-- it means the dialog was cancelled by the user) --- .../drracket-pkgs/drracket/drracket/private/get-module-path.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt index 4bad74e8b7..78717173df 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt @@ -15,7 +15,7 @@ #:dir? [dir? boolean?]) [res (dir?) (if (or dir? (not (equal? dir? the-unsupplied-arg))) - (listof path?) + (or/c (listof path?) #f) (or/c path? #f))])])) (define (get-module-path-from-user #:init [init-value ""]