[MLton] question on closure-convert.fun

[Matthew Fluet]

> > > Probably the thing to do is to Vector.map2 against the tuple returned by 
> > > the shrinker and the expected variables, adding the appropriate Var = Var 
> > > global statements.  These extraneous assignments will be killed off by the 
> > > removeUnused pass if they are truly unused in the rest of the program.
> > 
> > This works.
> 
> Did you check in the fix?  I didn't see it.

I did this morning.