From cd7d3470518071165c03800ab58060f39c3d18b2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 2 Jan 2016 07:59:32 -0700 Subject: [PATCH] update types of `find-files` and `pathlist-closure` --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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 6aa7abeb..2a216afb 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2610,8 +2610,14 @@ -Void)] [delete-directory/files (->key -Pathlike #:must-exist? Univ #f -Void)] -[find-files (->optkey (-> -Path Univ) [(-opt -Pathlike)] #:follow-links? Univ #f (-lst -Path))] -[pathlist-closure (->key (-lst -Pathlike) #:follow-links? Univ #f (-lst -Path))] +[find-files (->optkey (-> -Path Univ) [(-opt -Pathlike)] + #:skip-filtered-directories? Univ #f + #:follow-links? Univ #f + (-lst -Path))] +[pathlist-closure (->key (-lst -Pathlike) + #:path-filter (Un (-val #f) (-Path . -> . Univ)) #f + #:follow-links? Univ #f + (-lst -Path))] [fold-files (-poly