<div class="gmail_quote">On Thu, Aug 23, 2012 at 4:43 PM, Simon Marlow <span dir="ltr"><<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 22/08/2012 13:32, Ramana Kumar wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Section 5.2, the first sentence of list item 5 says "The form “module M”<br>
names the set of all entities that are in scope with both an unqualified<br>
name “e” and a qualified name “M.e”."<br>
It is not clear that "in scope" here really means "in scope and exported<br>
by module M".<br>
</blockquote>
<br></div>
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.</blockquote><div><br>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"?<br>
</div></div>