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