Re: uname -o does not exist on mac

[Evan Hanson]

Nice, thanks Lassi and Mario, applied.

Evan

Re: [PATCH] Fix #1727 with patch from ticket

[Evan Hanson]

Excellent, applied.

Thanks to all involved, this should make some folks' lives easier!

Evan

Re: Misc scrutizer annotation fixes for FFI

[Evan Hanson]

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

[megane]

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.