From 9bad7f01280c9a61fa1cc9e31cda3cbfa6ccee60 Mon Sep 17 00:00:00 2001 From: Alexis King Date: Tue, 27 Jan 2015 09:06:21 -0800 Subject: [PATCH] Improve the type for directory-list --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index b2e4cc42..b0d4ec9e 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2533,7 +2533,7 @@ [directory-exists? (-> -Pathlike B)] [make-directory (-> -Pathlike -Void)] [delete-directory (-> -Pathlike -Void)] -[directory-list (->opt [-Pathlike] (-lst -Path))] +[directory-list (->optkey [-Pathlike] #:build? Univ #f (-lst -Path))] [filesystem-root-list (-> (-lst -Path))] ;; Section 15.2.4