[racket-dev] Typed Racket & ffi/vector ?

2011-10-14 Thread John Clements
Does typed racket know about ffi/vector, and more specifically s16vectors? I can't find a typed/ffi/vector, and if I import them as opaque types, typed racket won't know about the representations of these vectors, and it doesn't seem reasonable to think that they'd do a good job of optimizing th

[racket-dev] Windowing API

2011-10-14 Thread Eric Dobson
I am trying to implement a WebKit panel in Racket, and am running in to some trouble with the windowing API. I cannot get resizing to work. In OS X it looks like it is supposed to be enabled by default so I assume racket is changing it so that it can do its layout algorithm. The problem is that