On Tue, Dec 13, 2011 at 2:28 PM, John Clements <cleme...@brinckerhoff.org> wrote: > Currently, in typed/racket, if I have a value of type (List Number Number > Symbol String), and I apply 'fourth' to it, I get (U Number Symbol String) > rather than String.[*] > > It looks to me like this is a "didn't get around to it yet" issue, but > perhaps I'm missing some vital difference between 'cadddr' and 'fourth'.
Your initial impression is correct, I'll extend this support for `second', `third', etc. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users