<div dir="ltr">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 and thereby causes an ambiguous occurrence. But if T had imported "main" from a third module, it would not be exported for Main to import unless the export from T was explicit.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 17, 2019 at 1:50 PM Shayne Fletcher via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div class="gmail_default"><div class="gmail_default"><font face="verdana, sans-serif">Sorry in advance if I should be posting questions of this kind elsewhere (please tell me if so!).</font></div><div class="gmail_default"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default"><font face="verdana, sans-serif">Consider this two file program:</font></div><div class="gmail_default"><font face="verdana, sans-serif">```</font></div><div class="gmail_default"><font face="verdana, sans-serif">module T where</font></div><div class="gmail_default"><font face="verdana, sans-serif">main = undefined</font></div><div class="gmail_default"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default"><font face="verdana, sans-serif">module Main where</font></div><div class="gmail_default"><font face="verdana, sans-serif">import T</font></div><div class="gmail_default"><font face="verdana, sans-serif">main = putStrLn "Hello world!"</font></div><div class="gmail_default"><font face="verdana, sans-serif">```</font></div><div class="gmail_default"><font face="verdana, sans-serif"><br>Both 8.4.3 and 8.6.3 agree:</font></div><div class="gmail_default"><font face="verdana, sans-serif">```</font></div><div class="gmail_default"><font face="verdana, sans-serif">Main.hs:1:1: error:</font></div><div class="gmail_default"><font face="verdana, sans-serif"> Ambiguous occurrence ‘main’</font></div><div class="gmail_default"><font face="verdana, sans-serif"> It could refer to either ‘T.main’,</font></div><div class="gmail_default"><font face="verdana, sans-serif"> imported from ‘T’ at Main.hs:2:1-8</font></div><div class="gmail_default"><font face="verdana, sans-serif"> (and originally defined at Main.hs:2:1-4)</font></div><div class="gmail_default"><font face="verdana, sans-serif"> or ‘Main.main’, defined at Main.hs:5:1</font></div><div class="gmail_default"><font face="verdana, sans-serif">```</font></div><div class="gmail_default"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default"><font face="verdana, sans-serif">Is this expected behavior? Does it not contradict "If the export list is omitted, all values, types and classes defined in the module are exported, but not those that are imported" (<a href="https://www.haskell.org/onlinereport/haskell2010/haskellch5.html" target="_blank">https://www.haskell.org/onlinereport/haskell2010/haskellch5.html</a>)? If the latter, is this a bug? What am I missing?</font></div></div><div><br></div>-- <br><div dir="ltr" class="gmail-m_3020656942741604395gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div style="letter-spacing:normal;padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><div style="color:rgb(33,33,33);font-size:13px"><div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><font face="trebuchet ms, sans-serif"><span style="font-weight:bold;font-size:14px">Shayne Fletcher</span><br>Language Engineer<br><span style="font-weight:600">c:</span> <span style="color:rgb(96,138,216)">+1 917 699 7763</span><br><span style="font-weight:600">e:</span> <a href="mailto:shayne.fletcher@daml.com" target="_blank">shayne.fletcher@daml.com</a></font></div><div style="font-family:Karla,sans-serif;background-color:rgb(242,245,250);width:300px;max-width:300px;padding:0px 0px 10px 10px;font-size:12px;color:rgb(98,119,146);border-bottom:4px solid rgb(32,50,96)"><img src="https://s3.amazonaws.com/digitalasset.com/Digital+Asset+Logo+-+small+-+pad.png" style="border: 0px; vertical-align: middle; max-width: 100%; height: auto; display: block; width: 120px;">Digital Asset Holdings, LLC<br>4 World Trade Center <a href="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" style="color:rgb(126,87,194)" target="_blank">150 Greenwich Street, 47th Floor </a><br><a href="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" style="color:rgb(126,87,194)" target="_blank">New York, NY 10007, USA</a><br><a href="http://www.digitalasset.com/" style="color:rgb(96,138,216);background-color:transparent;outline:none 0px" target="_blank">digitalasset.com</a></div><br></div></div></div></div></div></div></div><div style="font-family:sans-serif;color:rgb(33,33,33);font-size:13px"></div></div></div></div></div></div></div></div></div></div></div>
<br>
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:rgb(255,255,255)">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 </span><a href="http://www.digitalasset.com/emaildisclaimer.html" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:12.8px;background-color:rgb(255,255,255)" target="_blank">http://www.digitalasset.com/emaildisclaimer.html</a><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:rgb(255,255,255)">. If you are not the intended recipient, please delete this message.</span>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>