On Aug 12, 2010, at 4:56 PM, Jon Zeppieri wrote: > I've found a bug in Typed Racket's handling of (List t0 ...) types -- at > least, when they appear on the right hand side of the -> type constructor and > involve ellipsis patterns with type variables. Here is a simple example > demonstrating the problem: ... > As you can see, the result of (listify 1 "hello" #\c) is correct, but the > result's type is incorrect; the types of the list members are reversed.
Thanks for the bug report! I've pushed a fix for this issue to the git repository. Stevie _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
