Re: [racket] FlVector optimisations in Typed Racket

2010-11-28 Thread Vincent St-Amour
At Sun, 28 Nov 2010 21:57:20 +, Noel Welsh wrote: > I'm curious if > > (define-type Foo (Vector Float Float Float)) > > will turn into a FlVector, It won't. Vectors may escape into code that expects actual vectors, not float vectors, so we can't do the conversion. With a bit of escape anal

[racket] FlVector optimisations in Typed Racket

2010-11-28 Thread Noel Welsh
Hi, I'm curious if (define-type Foo (Vector Float Float Float)) will turn into a FlVector, and similarly, if (define-type Foo (FlVector Float Float Float) will use avoid range checks (i.e. use unsafe refs) like the Vector defn would. Cheers, N.