[Haskell-cafe] Horray, a ghc bug!

[Andreas Abel]

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


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/