At Tue, 17 Aug 2010 13:03:49 -0400,
Danny Yoo wrote:
> I'm guessing that the type-checker has some hardcoded notion of the
> types for racket/list functions.  Is this true?

Typed Racket provides typed bindings for most of the "racket"
language. You can, as you did, require racket/X and this will import
the typed bindings.

Vincent
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users

Reply via email to