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
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
Hi,
Here are some fixes that will result in more specific scrutinizer
annotations, and removes some spurious type warnings (0003).
>From 42657f466937e2dcaf19b385eed31ed27fda0dbd Mon Sep 17 00:00:00 2001
From: megane
Date: Sat, 22 May 2021 07:47:53 +0300
Subject: [PATCH 1/4] FFI: Make
