<div dir="ltr">I'm guessing, but I suspect currently the only way to look up a symbol either requires explicit qualification of the symbol name or that the symbol be part of a class or instance declaration that implicitly qualifies method and associated type names. So for the implicit export list to retrieve the local symbol definition, it would have to explicitly request the local one instead of simply passing the name. (But getting the local names, without their definitions, wouldn't hit this. Maybe that should return explicitly qualified names, but I could see that causing problems with ghci; consider ":browse". And that it already handles qualification somewhat oddly because multiple modules can be in scope; "import" doesn't mean quite the same thing in ghci as in ghc, and can't without making its interactive use rather more painful when multiple modules are in scope.)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 17, 2019 at 2:30 PM Shayne Fletcher <<a href="mailto:shayne.fletcher@daml.com">shayne.fletcher@daml.com</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" style="font-family:verdana,sans-serif;font-size:small"><br></div></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 17, 2019 at 2:23 PM Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</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">Hm. You're probably right that it should only consider the locally defined one,</div></blockquote><div><br><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">Cool.</div> </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"> but I can see why it would do this</div></blockquote><div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">Can you elaborate? Perhaps,</div> </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">and wonder if there's even a good way to constrain that check currently.</div><br></blockquote><div><br><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">indicates that you can see why it might be so based on knowledge of the implementation?<br><br></div></div></div>-- <br><div dir="ltr" class="gmail-m_-6836557585739101075gmail_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>

<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></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>