What's happening here is that when typechecking a `let loop`, Typed Racket will try to guess the loop argument types from the initial values. Here, it converts `Null` into `(Listof Any)`, and then that choice runs into trouble later.
The simplest fix here is to pass something with the type `(Listof Void)`, such as `(ann '() (Listof Void))`. The real fix is more type inference in Typed Racket. Sam On Tue, May 19, 2015 at 4:52 PM, Benjamin Greenman <bl...@cornell.edu> wrote: > This program raises a type error about unsafe-car > > (for ([x : Void (in-list '())]) x) > > So far, I've found ways to remove the error > 1. Remove the annotation on x > 2. Remove the in-list hint > 3. Use a non-empty list > > Is this a bug? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.