[racket] An error with dates and types

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Sun Aug 21 20:30:53 EDT 2011

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.


Posted on the users mailing list.