[r6rs-discuss] [Formal] eliminate library export immutability loophole

From: R. Kent Dybvig <dyb>
Date: Mon Mar 12 22:13:50 2007

> Closing the loophole as recommended by Kent would erase all observable
> differences between these three strategies, so that they would become
> equivalent, correct?

Not quite. If the last library body never returns to its continuation,
the exported variable locations are never initialized. To address this,
it might be a good idea to require that the exported variable locations be
initialized immediately after their local counterparts.

Kent
Received on Mon Mar 12 2007 - 22:13:16 UTC