<div dir="ltr">This is very odd---the example on the ticket does not use `Typeable` at all.<div><br></div><div>I looked through the diffs of the patch and I can't see anything obviously wrong.</div><div> </div><div>Also, the `Typeable` code only touches modules that are in the front-end, and when I compile without optimizations, the example looks reasonable.  </div><div><div><br></div><div>I wonder if the problem is related to some odd interaction between simplification rules and representational equities?</div></div><div><br></div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Mar 21, 2015 at 4:35 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvriedel@gmail.com" target="_blank">hvriedel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2015-03-21 at 08:21:20 +0100, Herbert Valerio Riedel wrote:<br>
> On 2015-03-21 at 07:56:32 +0100, Neil Mitchell wrote:<br>
><br>
> [...]<br>
><br>
>> 3) I tested with GHC RC1 and GHC RC2, both of which were fine. The fact no<br>
>> one else hit this with RC2 might just be because its a very recent<br>
>> regression.<br>
><br>
> We -- and by that I don't mean myself... :) -- could git-bisect between<br>
> RC2 and RC3 here (semi-)automatically (i.e. maybe unattended if it's<br>
> scriptable) if your test-case (even if it's not minimal) reliably<br>
> triggers the bug...<br>
<br>
</span>I scripted up a test and git-bisected between RC2 and RC3, and the<br>
following commit is the one where `shake-test oracle test` starts<br>
failing<br>
<br>
  <a href="http://git.haskell.org/ghc.git/commitdiff/6f46fe15af397d448438c6b93babcdd68dd78df8" target="_blank">http://git.haskell.org/ghc.git/commitdiff/6f46fe15af397d448438c6b93babcdd68dd78df8</a><br>
<br>
...which sadly is a rather large patch :-/<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>