<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 20, 2020 at 6:56 AM 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 style="font-family:verdana,sans-serif;font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 20, 2020 at 5:43 AM Sylvain Henry <<a href="mailto:sylvain@haskus.fr" target="_blank">sylvain@haskus.fr</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
    <p>I would think it's more related to the linear types patch given
      that it added ghc-prim:GHC.Types.One (wired-in). Could you open a
      ticket with a way to reproduce the failure?</p></div></blockquote></div><div><br><div style="font-family:verdana,sans-serif;font-size:small">That makes a lot of sense Sylvain. Thanks, will do.</div></div></div></blockquote><div><br><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">After some scratching around, I've pretty much convinced myself that there isn't an issue here to be raised against GHC upstream. There IS a problem to be solved in how ghc-lib relates with ghc-prim but that problem is firmly on the ghc-lib side. So, there won't be a ticket for now that stems from this. Thanks again for your input Sylvain!</div><br></div></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><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"><div style="color:rgb(34,34,34);font-size:small"><b><font color="#000000">Shayne Fletcher</font></b><br></div><div style="font-size:small;color:rgb(80,0,80)"><font size="1"><font color="#444444">Language Engineer </font><font color="#0b5394"><b>/</b></font><font color="#444444"> +1 917 699 7663</font><br></font></div><font size="1" style="color:rgb(34,34,34)"><a href="https://digitalasset.com/" style="color:rgb(17,85,204)" target="_blank"><b><font color="#3d85c6">Digital Asset</font></b></a><font style="color:rgb(26,40,77)">, creators of </font><b><a href="https://daml.com/" style="color:rgb(17,85,204)" target="_blank"><font color="#3d85c6">DAML</font></a></b></font><br></div></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></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>