[Chicken-hackers] [PATCH] Fix #1399

[Evan Hanson]

Hi folks,

Here's a patch that fixes #1399 by adjusting the scrutiniser's handling
of noreturn procedures, and of branches that result in procedures with
different numbers of results.

Basically, when merging procedure types (->) and (-> x), we have to
generalise the result as (-> . *) rather than using the smaller of the
two result counts [for now; I have some ideas about how to support more
advanced result types in the scrutiniser, but that's for later]. Roughly
the same applies for noreturn procedures. See the commit messages for
more info.

This should apply cleanly to both master and chicken-5. There's a test
for the specific case of #1399, as well.

Cheers,

Evan

0001-Generalise-result-type-when-scrutiniser-merges-diffe.patch
Description: Text Data