Re: [Haskell-cafe] Horray, a ghc bug!

On 18.10.2013 15:15, Stijn van Drongelen wrote:

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'.

Thanks for the hint. I am now compiling a ghc 7.6 (will take a while). Unfortunately, 7.4.1 is the last compiler with an easy binary install on Ubuntu 12.04 LTS, so, no quick fix. Cheers, Andreas

On Fri, Oct 18, 2013 at 3:04 PM, Andreas Abel mailto: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 mailto: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 mailto:Haskell-Cafe@haskell.org http://www.haskell.org/__mailman/listinfo/haskell-cafe http://www.haskell.org/mailman/listinfo/haskell-cafe

-- 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/