<div dir="ltr">Ok, so I think we should mark the test as expect_broken, because the Travis builds use -DDEBUG and this is causing them to fail currently (see e.g. <a href="https://travis-ci.org/simonmar/ghc/builds/174768018">https://travis-ci.org/simonmar/ghc/builds/174768018</a>)<div><br></div><div>Cheers</div><div>Simon</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 11 November 2016 at 17:39, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple">
<div class="m_-8431647917133256205WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Hmm. Yes, this is an (actually harmless) assertion failure if your build has -DDEBUG on. I think it’s just a fluke that it’s only just started failing.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">I’ll make a ticket for it; I don’t think it’s super-urgent.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif"> ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org" target="_blank">ghc-devs-bounces@<wbr>haskell.org</a>]
<b>On Behalf Of </b>Simon Marlow<br>
<b>Sent:</b> 09 November 2016 13:03<br>
<b>To:</b> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<b>Subject:</b> T12041 failing?<u></u><u></u></span></p>
</div>
</div><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<pre><span style="color:black">I just saw the error below in a validate with -DDEBUG. Anyone know about this?<u></u><u></u></span></pre>
<pre style="word-wrap:break-word;white-space:pre-wrap"><span style="color:black">--- /tmp/ghctest-uhJ8rt/test spaces/./indexed-types/should_<wbr>fail/T12041.run/T12041.stderr.<wbr>normalised 2016-11-09 12:13:38.206501840 +0000<u></u><u></u></span></pre>
<pre><span style="color:black">+++ /tmp/ghctest-uhJ8rt/test spaces/./indexed-types/should_<wbr>fail/T12041.run/T12041.comp.<wbr>stderr.normalised 2016-11-09 12:13:38.206501840 +0000<u></u><u></u></span></pre>
<pre><span style="color:black">@@ -1,7 +1,17 @@<u></u><u></u></span></pre>
<pre><span style="color:black">+ghc: panic! (the 'impossible' happened)<u></u><u></u></span></pre>
<pre><span style="color:black">+ (GHC version 8.1.20161109 for x86_64-unknown-linux):<u></u><u></u></span></pre>
<pre><span style="color:black">+ ASSERT failed!<u></u><u></u></span></pre>
<pre><span style="color:black">+ i_axb<u></u><u></u></span></pre>
<pre><span style="color:black">+ Call stack:<u></u><u></u></span></pre>
<pre><span style="color:black">+ CallStack (from HasCallStack):<u></u><u></u></span></pre>
<pre><span style="color:black">+ prettyCurrentCallStack, called at compiler/utils/Outputable.hs:<<wbr>line>:<column> in <package-id>:Outputable<u></u><u></u></span></pre>
<pre><span style="color:black">+ callStackDoc, called at compiler/utils/Outputable.hs:<<wbr>line>:<column> in <package-id>:Outputable<u></u><u></u></span></pre>
<pre><span style="color:black">+ assertPprPanic, called at compiler/typecheck/TcType.hs:<<wbr>line>:<column> in <package-id>:TcType<u></u><u></u></span></pre>
<pre><span style="color:black">+ Call stack:<u></u><u></u></span></pre>
<pre><span style="color:black">+ CallStack (from HasCallStack):<u></u><u></u></span></pre>
<pre><span style="color:black">+ prettyCurrentCallStack, called at compiler/utils/Outputable.hs:<<wbr>line>:<column> in <package-id>:Outputable<u></u><u></u></span></pre>
<pre><span style="color:black">+ callStackDoc, called at compiler/utils/Outputable.hs:<<wbr>line>:<column> in <package-id>:Outputable<u></u><u></u></span></pre>
<pre><span style="color:black">+ pprPanic, called at compiler/utils/Outputable.hs:<<wbr>line>:<column> in <package-id>:Outputable<u></u><u></u></span></pre>
<pre><span style="color:black">+ assertPprPanic, called at compiler/typecheck/TcType.hs:<<wbr>line>:<column> in <package-id>:TcType<u></u><u></u></span></pre>
<pre><span style="color:black"> <u></u><u></u></span></pre>
<pre><span style="color:black">-T12041.hs:12:15:<u></u><u></u></span></pre>
<pre><span style="color:black">- Expected kind ‘i -> Constraint’,<u></u><u></u></span></pre>
<pre><span style="color:black">- but ‘(~) Int’ has kind ‘* -> Constraint’<u></u><u></u></span></pre>
<pre><span style="color:black">- In the type ‘(~) Int’<u></u><u></u></span></pre>
<pre><span style="color:black">- In the type instance declaration for ‘Ob’<u></u><u></u></span></pre>
<pre><span style="color:black">- In the instance declaration for ‘Category I’<u></u><u></u></span></pre>
<pre><span style="color:black">+Please report this as a GHC bug: <a href="https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.haskell.org%2Fghc%2Freportabug&data=02%7C01%7Csimonpj%40microsoft.com%7C8af7a5deff5f49d2ab9808d408a0bd62%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636142933860965747&sdata=BUkCjhjy1GhK9SVcws2TAYIVD5FzdsYrXKciuyD6MzM%3D&reserved=0" target="_blank">http://www.haskell.org/ghc/<wbr>reportabug</a><u></u><u></u></span></pre>
<pre><span style="color:black">*** unexpected failure for T12041(normal)<u></u><u></u></span></pre>
</div>
</div></div></div>
</div>
</div>
</blockquote></div><br></div>