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

18 Oct 2013

      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 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/**reportabughttp://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-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe