[MLton] question on closure-convert.fun

Stephen Weeks MLton@mlton.org
Wed, 22 Jun 2005 11:51:18 -0700


> > If you add the assignments as global statements in the argument to
> > Ssa.shrinkFucntion, won't they just not appear in the output
> > (i.e. "blocks")?
> 
> No, you misunderstand what I was proposing.  Instead of:
...
> That is, if we see that the shrinker determined that a variable was equal 
> to another variable, simply rebind the eliminated variable.

Got it.  Thanks.