[racket-dev] typed/scheme n00b question

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Sep 5 09:59:32 EDT 2010

Can you tell us (om the list) what the true type is?  I'm sure I'm not
the only one curious as to precisely what it is and how you would
write it w/ the exception.  Thanks.


On Sun, Sep 5, 2010 at 8:57 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev

Posted on the dev mailing list.