[racket] FlVector optimisations in Typed Racket

From: Noel Welsh (noelwelsh at gmail.com)
Date: Sun Nov 28 16:57:20 EST 2010

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.


Posted on the users mailing list.