[racket] Bug in TR for/sum: ??

From: Ray Racine (ray.racine at gmail.com)
Date: Thu Mar 28 15:56:59 EDT 2013

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))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130328/da634cc4/attachment.html>

Posted on the users mailing list.