[racket] typed/racket request for type for 'fourth'

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Tue Dec 13 14:35:48 EST 2011

On Tue, Dec 13, 2011 at 2:28 PM, John Clements
<clements at 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
samth at ccs.neu.edu



Posted on the users mailing list.