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

Add type annotation for (make-parent-directory*) (#483)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2017-01-07 00:27:42 +08:00 committed by Sam Tobin-Hochstadt
parent 3e2d020a19
commit 3cafa94801
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2708,6 +2708,7 @@
((Un funarg funarg*) a [(-opt -Pathlike) Univ]. ->opt . a)))]
[make-directory* (-> -Pathlike -Void)]
[make-parent-directory* (-> -Pathlike -Void)]
#;[make-temporary-file (->opt [-String (Un -Pathlike (-val 'directory) (-val #f)) (-opt -Pathlike)] -Path)]
[put-preferences (->opt (-lst -Symbol) (-lst Univ) [(-> -Path Univ) (-opt -Pathlike)] -Void)]