On Sun, Aug 21, 2011 at 8:22 PM, Matthias Felleisen <matth...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users