Is this a bug? #lang typed/racket/base
(define: βns : (Vectorof Float) '#(1.0 2.0 3.0)) (define: χns : (Vectorof Float) '#(4.0 5.0 6.0)) (for/sum: : Float ([βn : Float (in-vector βns)] [χn : Float (in-vector χns)]) (* βn χn))
____________________ Racket Users list: http://lists.racket-lang.org/users
