[racket-dev] typed/scheme n00b question

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Sep 5 08:57:28 EDT 2010

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

Posted on the dev mailing list.