[racket] Typed Racket reactions on developing polymorphic typed array library, and questions

On Mon, Aug 23, 2010 at 9:57 AM, Will M. Farr <wmfarr at gmail.com> wrote:
> On Aug 23, 2010, at 6:52 AM, Sam Tobin-Hochstadt wrote:
>
>> Is this the same as the (brand-new) `for/flvector' and `in-flvector'?
>
> At the moment, these do not use the unsafe-... variants (though I can eventually change them to do so).  Is Typed-Scheme smart enough to change them over even if I don't specify when somebody provides the correct flags?

Yes, it should be.
-- 
sam th
samth at ccs.neu.edu