[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Misc scrutizer annotation fixes for FFI
From: |
megane |
Subject: |
Re: Misc scrutizer annotation fixes for FFI |
Date: |
Fri, 30 Jul 2021 08:12:27 +0300 |
User-agent: |
mu4e 1.0; emacs 28.0.50 |
Evan Hanson <evhan@foldling.org> 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.