Hi, The following example works fine:
#lang racket (define v (vector 1 2 3)) (for ([t (in-vector v 0 2)]) (displayln t)) However, in Typed Racket, it does not: Welcome to DrRacket, version 6.3.0.3--2015-11-06(58c919c/a) [3m]. Language: typed/racket; memory limit: 4096 MB. . Type Checker: missing type for identifier; consider using `require/typed' to import it identifier: normalise-inputs from module: for.rkt in: (for ((t (in-vector v 0 2))) (displayln t)) . Type Checker: type mismatch expected: VectorTop given: Any in: (for ((t (in-vector v 0 2))) (displayln t)) . Type Checker: Summary: 2 errors encountered in: (for ((t (in-vector v 0 2))) (displayln t)) (for ((t (in-vector v 0 2))) (displayln t)) Best, António. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAJQmiZWNoUkEB7bDyK9E5mUE3WdY40UC8eyTKnP4d5JwWjaKQw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
