[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Detect self-reference in "letrec"
From: |
felix . winkelmann |
Subject: |
Re: [Chicken-hackers] [PATCH] Detect self-reference in "letrec" |
Date: |
Sun, 15 Sep 2019 17:12:00 +0200 |
> On Wed, Aug 28, 2019 at 01:41:22PM +0200, address@hidden wrote:
> > An attempt to fix #1645. See commit message for more details.
>
> Hi Felix,
>
> I've taken a look at it and the logic itself looks good, but I find the
> usage of fluid-let on a global variable unsettling. Why not pass the
> list in "walk" to itself and to "resolve-variable"?
>
> If that's too unwieldy, I would at least put the variable inside
> "canonicalize-expression" to clarify that it's only used there.
>
I moved the variable into c.-e. and also changed the error message
to be slightly more useful.
felix
0001-Catch-self-referencing-variables-in-letrec-form.patch
Description: Text document