[racket] basic TR question

OK, I'm finally trying to teach myself some TR.

I've got a function
(: mat-cols (Mat -> Index))
that type-checks and works.

(:print-type in-range)
lists a whole bunch of cases including
(Index -> (Sequenceof Index))

So why doesn't

(for: [[colnum : Index (in-range (mat-cols m))]] do-something)

type-check?  Especially when

(for: [[colnum : Index (mat-cols m)]] do-something)

DOES type-check?


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/e9c5ba02/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/e9c5ba02/attachment.sig>