Hi Andy!

"Andy Wingo" <wi...@pobox.com> skribis:

> commit 8d06538e821c3e6cdd4861e1d8b1ec25ed930453
> Author: Andy Wingo <wi...@pobox.com>
> Date:   Thu Sep 22 12:06:21 2011 +0200
>
>     context-specific folding for peval in test and effect contexts
>     
>     * module/language/tree-il/optimize.scm (peval): Add a "test" context,
>       which folds statically decidable values to <const>.  Fold pure
>       expressions to <void> in "effect" contexts.  Adapt the <conditional>
>       and <sequence> tests to simply look for <const> or <void> expressions,
>       respectively.

Woow, thanks, this looks like a nice addition!

Could you add a few tests to demonstrate the effects of this?  All the
cases in peval are interdependent, which makes it easy to break one
thing by touching another.
</broken-record>  ;-)

Thanks also for the many bug fixes & improvements.

Ludo’.

Reply via email to