[racket] Another basic TR question

And while I've got your attention...

When I tried the same thing with a smaller limit, e.g.

> (for/sum: : Flonum [[ii : Index 8]]
>  pi)

I got not only the aforementioned complaint about Zero but also a complaint that it expected Index, but got Byte (presumably it decided 8 was small enough to fit into a byte, so everything in sight must be a byte).  Which is especially puzzling since Byte is a subtype of Index....


Stephen Bloch
sbloch at adelphi.edu
GPG  key at http://adelphi.edu/sbloch/sbloch.pubkey.asc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140213/cc7928b3/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 495 bytes
Desc: This is a digitally signed message part
URL: <http://lists.racket-lang.org/users/archive/attachments/20140213/cc7928b3/attachment.sig>