<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">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_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.8000001907349px;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.<wbr>com/emaildisclaimer.html</a><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8000001907349px;background-color:rgb(255,255,255)">. If you are not the intended recipient, please delete this message.</span>