[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-hackers] [PATCH] Fix #1399

From: Evan Hanson
Subject: [Chicken-hackers] [PATCH] Fix #1399
Date: Mon, 27 Nov 2017 21:52:24 +1300

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.



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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]