[Haskell-cafe] Horray, a ghc bug!

[Andreas Abel]

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 <andreas.abel at ifi.lmu.de
> <mailto:andreas.abel at 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 at ifi.lmu.de <mailto:andreas.abel at ifi.lmu.de>
>     http://www2.tcs.ifi.lmu.de/~__abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>     _________________________________________________
>     Haskell-Cafe mailing list
>     Haskell-Cafe at haskell.org <mailto:Haskell-Cafe at 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 at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/