<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi,</p>
<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>
<p>Thanks,<br>
Sylvain<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 19/06/2020 23:55, Shayne Fletcher
via ghc-devs wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKe9RRHUzNOke8wjhgoVhH28ENQQWm_V-2pQA_zvbSjCWRgXeA@mail.gmail.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default"
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?<br clear="all">
</div>
<div><br>
</div>
-- <br>
<div dir="ltr" class="gmail_signature"
data-smartmail="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
style="color:rgb(34,34,34)"
size="1"><a
href="https://digitalasset.com/"
style="color:rgb(17,85,204)" target="_blank" moz-do-not-send="true"><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"
moz-do-not-send="true"><font
color="#3d85c6">DAML</font></a></b></font><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</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" moz-do-not-send="true">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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
</body>
</html>