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

Add type for in-directory.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-10-07 17:45:09 -04:00
parent 630a77cea8
commit 724aee0188
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

@ -942,6 +942,8 @@
[make-weak-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)] [make-weak-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)]
;Section 3.14 (Sequences and Streams) ;Section 3.14 (Sequences and Streams)
[in-directory (-> (-seq -Path))]
[sequence? (make-pred-ty (-seq Univ))] [sequence? (make-pred-ty (-seq Univ))]
[stop-before (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))] [stop-before (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))]
[stop-after (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))] [stop-after (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))]