[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.