[racket] typed/racket request for type for 'fourth'
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