On Sun, Sep 5, 2010 at 3:06 AM, Hari Prashanth <krh...@ccs.neu.edu> wrote: > Is this what you are looking for? > > (require/typed racket/base > [file-or-directory-modify-seconds > (String (Option Integer) (-> exn:fail:filesystem) -> (U > Integer Void))])
Hari is correct that you can use `require/typed' on `racket/base'. However, that type isn't quite right - it shouldn't *return* `exn:fail:filesystem' - that is an exception that might be raised. The true type is more complex; I'll add it to the base environment. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev