[plt-scheme] [redex] fresh-clauses

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Jan 7 08:46:07 EST 2010

No that would be a bug.

Robby

On Thursday, January 7, 2010, Keiko Nakata <keiko at kurims.kyoto-u.ac.jp> wrote:
> Hi,
>
> Let me confirm:
> Two separate fresh-clauses in a reduction-case may generate same variables?
>
> E.g.
>
> (--> (x ...) (0 x_0 ... x_1 ...)
>   (fresh ((x_0 ...) (x ...)))
>   (fresh ((x_1 ...) (x ...))))
>
>
> Can I use fresh-clause, rather than term-let and variables-not-in,
> to generate fresh variables x_0 ... x_1 ...?
>
>
> Best,
> Keiko
>
>
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.