samth/test-bugs — Issue #73: Variable capture in stepper's substitution
Author: racket-bug-submit
Created: 2012-03-07 15:07:26+00:00
State: open

Originally submitted on: Wed Oct 31 14:20:02 -0400 2007

When substituting a lambda term M into the body of another lambda term N, the stepper doesn't alpha-rename to avoid capturing free variables in M.

This bug was converted from Gnats bug [9030](http://bugs.racket-lang.org/query/?cmd=view&pr=9030).