[Haskell-cafe] Horray, a ghc bug!

[Andreas Abel]

ghc-7.6.3 does produce a better error now:
[208 of 254] Compiling Agda.TypeChecking.MetaVars.Occurs ( 
src/full/Agda/TypeChecking/MetaVars/Occurs.hs, 
dist/build/Agda/TypeChecking/MetaVars/Occurs.o )

src/full/Agda/TypeChecking/MetaVars/Occurs.hs:380:10:
     Malformed instance: Occurs a -> Occurs (Elim' a)

Thanks!

On 18.10.2013 19:10, Andreas Abel wrote:
> 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/