[racket] Typed Racket bug

From: Stevie Strickland (sstrickl at ccs.neu.edu)
Date: Thu Aug 12 17:47:16 EDT 2010

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.


Posted on the users mailing list.