[racket] typed and racket/date

On Fri, 27 Jun 2014 14:04:46 -0400
Sam Tobin-Hochstadt <samth at cs.indiana.edu>
wrote:

> You should use `(require typed/racket/date)` instead.
> 

Great.

> There's a list of already-typed libraries in the documentation here:
> http://docs.racket-lang.org/ts-reference/Libraries_Provided_With_Typed_Racket.html
> but I see that it doesn't mention `racket/date`.
> 

Yep, it doesn't mention it. But to be honest I didn't know the list at
all.

Thanks a lot for your help.

-- 
Manfred



> 
> On Fri, Jun 27, 2014 at 1:49 PM, Manfred Lotz
> <manfred.lotz at arcor.de> wrote:
> > Hi there,
> > In order to use racket/date in a typed racket program do I need to
> > use (require/typed ...)?
> >
> > If understand it right I have to define types for the stuff I use
> > from racket/date. Is this true?
> >
> > --
> > Manfred
> >
> >
> > ____________________
> >   Racket Users list:
> >   http://lists.racket-lang.org/users
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>