Re: [Chicken-hackers] [PATCH 4/6] * scrutinizer.scm: Infer more exact types after set!

[Peter Bex]

On Thu, Aug 22, 2019 at 02:51:26PM +0300, megane wrote:
> Hi,
> 
> I'm working on some inference improvements and I noticed the blist keeps
> accumulating some bogus entries. Commit 0003 removes some of those.

Hi Megane,

I've pushed your cleanups because I believe they make the code and
scrutinizer output much more readable.

> There's also a small improvement (0004).

This one I did not apply.  I'm not 100% sure this is safe to apply and
Felix mentioned being a bit worried about the correctness of this change.

I believe it has to do with continuations or perhaps different threads
mutating the variable.  Since I don't know enough about the consequences,
I'll leave this to Felix or Evan.

Cheers,
Peter

signature.asc
Description: PGP signature