[racket] An error with dates and types

On Sun, Aug 21, 2011 at 8:22 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> On Aug 21, 2011, at 8:15 PM, Carl Eastlund wrote:
>
>> You can't.  You can require stuff from *typed* modules.
>
> I wrote so. That's why I believe that the existing TR confused Norman into requiring date->seconds from an UNTYPED
> module. I really think we need require:.

There might be some confusion here because there are two kinds of
typed modules: those written in Typed Racket, and those untyped
modules in the core for which TR has an assigned type.

--Carl