[ambiguous occurrence bug?]

Shayne Fletcher shayne.fletcher at daml.com
Sun Mar 17 18:16:43 UTC 2019

Hi Brandon,

On Sun, Mar 17, 2019 at 2:09 PM Brandon Allbery <allbery.b at gmail.com> wrote:

> No contradiction: "not those that are imported" means a module which
> imports names does not automatically re-export those names to other modules
> that import it. So T does indeed export "main", which is imported
> unqualified by Main

No argument with anything said there.

> and thereby causes an ambiguous occurrence.

This I don't get. I presume the ambiguous occurrence is due to the question
what `main` is `Main.hs` exporting (or in this case is the "entry-point"
for the program)? My reading of the above is that only the local `main` can
be exported  (or again, in this case, "considered" for the "entry-point")
so where is the ambiguity?

Shayne Fletcher
Language Engineer
c: +1 917 699 7763
e: shayne.fletcher at daml.com
Digital Asset Holdings, LLC
4 World Trade Center                                                        150
Greenwich Street, 47th Floor
New York, NY 10007, USA
digitalasset.com <http://www.digitalasset.com/>

This message, and any attachments, is for the intended recipient(s) only, 
may contain information that is privileged, confidential and/or proprietary 
and subject to important terms and conditions available at 
<http://www.digitalasset.com/emaildisclaimer.html>. If you are not the 
intended recipient, please delete this message.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190317/c6a6c051/attachment.html>

More information about the ghc-devs mailing list