<div dir="ltr"><div>Hi,</div><div><br></div>Have you tried the same with 7.6.1? When I search for RnSource.lhs:429 on Google, I find multiple GHC tickets, marked as 'solved in 7.6.1'.<div><br></div><div>Kind regards,</div>

<div><br></div><div>Stijn van Drongelen</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">You do not get them often, but here is one...<br>
<br>
[208 of 254] Compiling Agda.TypeChecking.MetaVars.<u></u>Occurs ( src/full/Agda/TypeChecking/<u></u>MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/<u></u>MetaVars/Occurs.o )<br>
ghc: panic! (the 'impossible' happened)<br>
  (GHC version 7.4.1 for x86_64-unknown-linux):<br>
        compiler/rename/RnSource.lhs:<u></u>429:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars,<br>
                                                        _,<br>
                                                        SrcLoc.L _ cls,<br>
                                                        _)<br>
<br>
Please report this as a GHC bug:  <a href="http://www.haskell.org/ghc/reportabug" target="_blank">http://www.haskell.org/ghc/<u></u>reportabug</a><span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
-- <br>
Andreas Abel  <><      Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br>
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</font></span></blockquote></div><br></div>