[racket] Typed Racket bug

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