On Thu, Aug 23, 2012 at 4:43 PM, Simon Marlow
On 22/08/2012 13:32, Ramana Kumar wrote:
Section 5.2, the first sentence of list item 5 says "The form “module M” names the set of all entities that are in scope with both an unqualified name “e” and a qualified name “M.e”." It is not clear that "in scope" here really means "in scope and exported by module M".
The current text seems clear to me. This is the *definition* of what is exported by module M, so referring to what is exported by module M within its own definition would be very confusing.
Where is that definition written down? I couldn't find anything apart from the (I think unclear) sentence above. It seemed to me that list item 5 was the definition of what "module M" means in an export list. Is there any indication that the exports are from a module apart from the name of the keyword, "module"?