minor errors in Haskell 2010 report

Ramana Kumar ramana at member.fsf.org
Thu Aug 23 17:47:03 CEST 2012

On Thu, Aug 23, 2012 at 4:43 PM, Simon Marlow <marlowsd at 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"?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-prime/attachments/20120823/bb27e947/attachment.htm>

More information about the Haskell-prime mailing list