[Top][All Lists]

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

Re: [Chicken-hackers] [PATCH] Re-walk `if` nodes after dropping branches

From: Peter Bex
Subject: Re: [Chicken-hackers] [PATCH] Re-walk `if` nodes after dropping branches
Date: Mon, 25 May 2015 17:49:21 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

On Mon, May 25, 2015 at 11:53:21AM +1200, Evan Hanson wrote:
> This makes sure the scrutinizer uses the new type of each node after
> converting it into a non-conditional form. For example, the expression
> `(if #t 1 2.0)` should have the type `fixnum` after dropping the
> unreachable branch, rather than its original type `(or fixnum float)`.

This is a great find!  Thanks, I've pushed it to master and chicken-5.


Attachment: signature.asc
Description: Digital signature

reply via email to

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