Hi, 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'. Kind regards, Stijn van Drongelen On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel <andreas.abel@ifi.lmu.de>wrote:
You do not get them often, but here is one...
[208 of 254] Compiling Agda.TypeChecking.MetaVars.**Occurs ( src/full/Agda/TypeChecking/**MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/**MetaVars/Occurs.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for x86_64-unknown-linux): compiler/rename/RnSource.lhs:**429:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars, _, SrcLoc.L _ cls, _)
Please report this as a GHC bug: http://www.haskell.org/ghc/**reportabug<http://www.haskell.org/ghc/reportabug>
-- Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/> ______________________________**_________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>