[Haskell-cafe] Horray, a ghc bug!

Andreas Abel andreas.abel at ifi.lmu.de
Fri Oct 18 13:04:54 UTC 2013

You do not get them often, but here is one...

[208 of 254] Compiling Agda.TypeChecking.MetaVars.Occurs ( 
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

More information about the Haskell-Cafe mailing list