<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>