Go backward to
Semantics of Declaration Abstractions
Go up to
Top
Go forward to
Indexing of Module Components
Alternative Semantics
[[
P
|-
module
I={D}: {I:
P
1
dec
}
dec
]]
e
s
=
({I=
e
1
},
s
1
)
where (
e
1
,
s
1
) = [[
P
|- D:
P
1
dec
]]
e
s
[[
P
|-
import
I:
P
1
dec
]]
e
s
= (
e
1
,
s
)
where (I=
e
1
) in
e
Eager evaluation allocates storage when module is defined.
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998