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