On Fri, 27 Jun 2014 14:04:46 -0400 Sam Tobin-Hochstadt <sa...@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.l...@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 > ____________________ Racket Users list: http://lists.racket-lang.org/users