[ambiguous occurrence bug?]

Brandon Allbery allbery.b at gmail.com
Sun Mar 17 18:23:35 UTC 2019

Hm. You're probably right that it should only consider the locally defined
one, but I can see why it would do this and wonder if there's even a good
way to constrain that check currently.

On Sun, Mar 17, 2019 at 2:16 PM Shayne Fletcher <shayne.fletcher at daml.com>

> 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
> <https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g>
> New York, NY 10007, USA
> <https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g>
> 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.

brandon s allbery kf8nh
allbery.b at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190317/148e55fd/attachment.html>

More information about the ghc-devs mailing list