From 724aee01888fce4fe00094d74604d36d48ade923 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 7 Oct 2012 17:45:09 -0400 Subject: [PATCH] Add type for `in-directory`. --- collects/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 8ab47bc6e6..6f9b4754eb 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -942,6 +942,8 @@ [make-weak-custom-hash (->opt (-> Univ Univ Univ) (-> Univ -Nat) [(-> Univ -Nat)] Univ)] ;Section 3.14 (Sequences and Streams) +[in-directory (-> (-seq -Path))] + [sequence? (make-pred-ty (-seq Univ))] [stop-before (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))] [stop-after (-poly (a) ((-seq a) (a . -> . Univ) . -> . (-seq a)))]