On Thu, Aug 23, 2012 at 4:43 PM, Simon Marlow <marlo...@gmail.com> wrote:
> 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"?
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
