[MLton] Re: [MLton-user] beta testers / release candidate

Matthew Fluet fluet at tti-c.org
Mon Aug 20 06:02:49 PDT 2007


On Sun, 19 Aug 2007, Henry Cejtin wrote:
> It was probably there before, but I just noticed the fromPoly and toPoly
> functions in the MLTON_MONO_ARRA signatures.  Given the mutability of arrays
> (polymorphic or not), these are pretty strange `functions'.  I.e., if I call
> fromPoly on a polymorhpic array, then mutate either the result or the arg,
> the other is also mutated.  Hence it is NOT true that they are just
> constant-time conversions.

I changed the descriptions to make it clear that the argument and result 
array share the same identity.



More information about the MLton mailing list