[MLton] cvs commit: Fixed bug in refFlatten pass.
Sun, 24 Jul 2005 12:33:48 +0300
Quoting Matthew Fluet <email@example.com>:
> 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:
MLton MLTONVERSION (built Sun Jul 24 11:29:47 2005 on grape)
$ mlton ref-flatten.6.sml && ./ref-flatten.6
$ mlton -drop-pass refFlatten ref-flatten.6.sml && ./ref-flatten.6
Only one "hi" should be printed.