[MLton] ref flattening enabled

Henry Cejtin henry@sourcelight.com
Fri, 23 Jul 2004 20:07:10 -0500


I  don't remember with the boxing stuff if a box-ref was needed to get at the
value in the box.  I am assuming that it would be needed (and would  like  it
to be required).  I.e., an 'a box is just like an 'a ref except that it isn't
mutable.  (I guess also the box `constructor' is  non-expansive,  unlike  the
ref `constructor'.)