Re: Misc scrutizer annotation fixes for FFI
Evan Hanson writes: > > I expanded the commit message for the last patch a bit, since I didn't > realise at first that it was fixing both the return type (using forall) > and the argument types (changing false to locative). Thanks for adding the clarity. The forall only matters when not using -specialize. So, not much, but it's there now.
Re: Misc scrutizer annotation fixes for FFI
Nice, thanks megane, these are all nice improvements. I've applied the whole lot. I expanded the commit message for the last patch a bit, since I didn't realise at first that it was fixing both the return type (using forall) and the argument types (changing false to locative). Cheers, Evan