[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Misc scrutizer annotation fixes for FFI
|
From: |
Evan Hanson |
|
Subject: |
Re: Misc scrutizer annotation fixes for FFI |
|
Date: |
Fri, 30 Jul 2021 13:32:03 +1200 |
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