Re: [ambiguous occurrence bug?]

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 wrote:

Hi Brandon,

On Sun, Mar 17, 2019 at 2:09 PM Brandon Allbery 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@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@gmail.com