[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.
Cheers,
Peter
signature.asc
Description: Digital signature