[MLton] cvs commit: Fixed bug in refFlatten pass.

Matthew Fluet fluet@cs.cornell.edu
Sun, 24 Jul 2005 11:05:58 -0400 (EDT)


> Quoting Matthew Fluet <fluet@mlton.org>:
> >   Fixed a bug in the refFlatten pass reported by Vesa Karvonen.  When an
> >   Update statement was transformed, the value component was not propertly
> >   translated.  This could yield an SSA2 IL type-error when the value was
> >   itself flattenable.
> 
> The refFlatten pass does not preserve semantics in this case:

Indeed.  Apologies.  I'll investigate further.