Re: uname -o does not exist on mac
Nice, thanks Lassi and Mario, applied. Evan
Re: [PATCH] Fix #1727 with patch from ticket
Excellent, applied. Thanks to all involved, this should make some folks' lives easier! Evan
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
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.