suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update types of find-files and pathlist-closure

Browse Source
This commit is contained in:
Matthew Flatt 2016-01-02 07:59:32 -07:00
parent 2dafb04587
commit cd7d347051
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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