On Mon, Aug 23, 2010 at 10:12 AM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Mon, Aug 23, 2010 at 9:57 AM, Will M. Farr <[email protected]> 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.
No, sorry, that's not right. Some operations will be made unsafe, but vector indexing won't be, since TR can't prove the absence of bounds errors. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
