[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