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 sbl...@adelphi.edu GPG key at http://adelphi.edu/sbloch/sbloch.pubkey.asc
PGP.sig
Description: This is a digitally signed message part
____________________ Racket Users list: http://lists.racket-lang.org/users
