<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=EN-US link=blue vlink="#954F72"><div class=WordSection1><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Hi Ömer,</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks for the pointers, should help me find out more.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>It’s not a stock GHC as I’m working on getting Dynamic linking back on Windows.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>This assert is triggered on the dyn version of the libs. So something’s bit rotted here.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Cheers,</p><p class=MsoNormal>Tamar</p><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><div style='mso-element:para-border-div;border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in'><p class=MsoNormal style='border:none;padding:0in'><b>From: </b><a href="mailto:omeragacan@gmail.com">Ömer Sinan Ağacan</a><br><b>Sent: </b>Tuesday, June 14, 2016 18:46<br><b>To: </b><a href="mailto:lonetiger@gmail.com">Phyx</a><br><b>Cc: </b><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br><b>Subject: </b>Re: CoreToStg Asserts</p></div><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p><p class=MsoNormal>Hi Tamar,</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Have a look at Note [Disgusting computation of CafRefs] in TidyPgm.hs. The</p><p class=MsoNormal>assertion triggered here is the one that checks `hasCafRefs` mentioned in that</p><p class=MsoNormal>note matches with actual CAF-ness.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Are you using stock GHC? Which version? Do you have a minimal program that</p><p class=MsoNormal>reproduces this?</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>2016-06-13 7:01 GMT-04:00 Phyx <lonetiger@gmail.com>:</p><p class=MsoNormal>> Hi *,</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> I'm hoping someone could help me understand what the asserts in CoreToStg on</p><p class=MsoNormal>> line 240 and 216 are trying to tell me.</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> I hit both of them while trying to compile libraries as dyn.</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> WARNING: file compiler\stgSyn\CoreToStg.hs, line 250</p><p class=MsoNormal>> $trModule2 False True</p><p class=MsoNormal>> ghc-stage1.exe: panic! (the 'impossible' happened)</p><p class=MsoNormal>> (GHC version 8.1.20160612 for x86_64-unknown-mingw32):</p><p class=MsoNormal>> ASSERT failed!</p><p class=MsoNormal>> file compiler\stgSyn\CoreToStg.hs line 216 $trModule2</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> WARNING: file compiler\simplCore\SimplCore.hs, line 633</p><p class=MsoNormal>> Simplifier bailing out after 4 iterations [6737, 736, 51, 9]</p><p class=MsoNormal>> Size = {terms: 12,990, types: 9,998, coercions: 443}</p><p class=MsoNormal>> WARNING: file compiler\stgSyn\CoreToStg.hs, line 250</p><p class=MsoNormal>> $fEqBigNat_$c/= False True</p><p class=MsoNormal>> ghc-stage1.exe: panic! (the 'impossible' happened)</p><p class=MsoNormal>> (GHC version 8.1.20160612 for x86_64-unknown-mingw32):</p><p class=MsoNormal>> ASSERT failed!</p><p class=MsoNormal>> file compiler\stgSyn\CoreToStg.hs line 240</p><p class=MsoNormal>> [$fEqBigNat_$c/=, $fEqBigNat]</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> Kind Regards,</p><p class=MsoNormal>> Tamar</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal>> _______________________________________________</p><p class=MsoNormal>> ghc-devs mailing list</p><p class=MsoNormal>> ghc-devs@haskell.org</p><p class=MsoNormal>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</p><p class=MsoNormal>><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>