<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 Fri, Jun 19, 2020 at 5:55 PM Shayne Fletcher <<a href="mailto:shayne.fletcher@daml.com" target="_blank">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 style="font-family:verdana,sans-serif;font-size:small">With the recent MR that removes integer-simple in favor of ghc-bignum, I find that I get a runtime failure when I try to use ghc-lib to generate core:<br>```<br># Running: stack --no-terminal exec -- mini-compile examples/mini-compile/test/MiniCompileTest.hs<br><br>examples/mini-compile/test/MiniCompileTest.hs:66:5: error:<br> * GHC internal error: `One' is not in scope during type checking, but it passed the renamer<br> tcl_env of environment: [628 :-> ATcTyCon TrName :: *,<br> 62b :-> APromotionErr RecDataConPE,<br> 62e :-> APromotionErr RecDataConPE]<br> * In the definition of data constructor `TrNameS'<br> In the data declaration for `TrName'<br> |<br>66 | = TrNameS Addr# -- Static<br> | ^^^^^^^^^^^^^<br>mini-compile: GHC internal error: `One' is not in scope during type checking, but it passed the renamer<br>tcl_env of environment: [628 :-> ATcTyCon TrName :: *,<br> 62b :-> APromotionErr RecDataConPE,<br> 62e :-> APromotionErr RecDataConPE]<br>```<br><br>Anyone have any pointers on what is going wrong and what I should be looking at?</div></div></blockquote><div><br><font face="tahoma, sans-serif">Breaks at commit `96aa57878fd6e6a7b92e841a0df8b5255a559c97` (<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/96aa57878fd6e6a7b92e841a0df8b5255a559c97" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/commit/96aa57878fd6e6a7b92e841a0df8b5255a559c97</a>) "Update compiler".</font><br></div></div><div><br></div>-- <br><div dir="ltr"><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>