No subject
Henry Cejtin
henry@sourcelight.com
Tue, 18 Jul 2000 19:03:27 -0500
Given ML's decision that the language (as opposed to the library) semantics
should be completely nailed down as far as order of evaluation, shouldn't
something official be added to the MLton documentation spelling out the order
of evaluation with regards to callcc (and threads). Is this necessary, or
can I already deduce it? I was originally worried that MLton might have a
bug with respect to
val a = (1, ???)
and what the continuation of ??? was. The point being that it is tempting to
first allocate the tuple (before ???), but then by re-entering the
continuation we could mutate a tuple. MLton does the right thing (although
it costs us because it means that we have to save the result of ??? some
where else and then copy it into the tuple.