[MLton] ref flattening enabled

Henry Cejtin henry@sourcelight.com
Fri, 23 Jul 2004 18:43:25 -0500


The ref flattening only gets done when you conclude that the access are all
being done pretty much immediately after de-referencing, right?