This should considerably simplify the closure conversion code without introducing much overhead. Assuming that the letrec conversion is run beforehand that should only limit the common env to stuff that would be retained in memory regardless of the env shape.
This should considerably simplify the closure conversion code without introducing much overhead. Assuming that the letrec conversion is run beforehand that should only limit the common env to stuff that would be retained in memory regardless of the env shape.