Go backward to Alternative Semantics Go up to Top Go forward to Sharing of Modules

Indexing of Module Components

module M = { class K = newint; var A: K;
    proc P = A:=0 };
var B: newint;
in call M.P; B:=@M.A

• Eager evaluation of module definition is essential.
• Ensures that storage for M.A is allocated when M.P is called.