[racket-dev] typed/scheme n00b question

On Sun, Sep 5, 2010 at 3:06 AM, Hari Prashanth <krhari at 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
samth at ccs.neu.edu