[MLton] ref flattening enabled

Henry Cejtin henry@sourcelight.com
Sat, 24 Jul 2004 12:21:49 -0500


I don't know if it is a big deal or not about box being a constructor.  I
don't think (but I certainly haven't tested it out) if I often apply
constructors and then count on the result still being polymorphic, other
than perhaps tuple or something.  Still, if it isn't hard, why not.