id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
3208,Incorrect handling of recursive groups with signatures containing equalities and TFs,simonpj,chak,"Jan Jakubuv found [http://www.haskell.org/pipermail/glasgow-haskell-users/2009-May/017147.html this]:
{{{
{-# OPTIONS -fglasgow-exts #-}
module Foo where

class SUBST s where
    type STerm s

class OBJECT o where
    type OTerm o
    apply :: (SUBST s, OTerm o ~ STerm s) => s -> o

fce' f = fce . apply $ f

fce f = fce' f
}}}
yields, with GHC 6.10 or the HEAD:
{{{
    ghc: panic! (the 'impossible' happened)
      (GHC version 6.10.2 for i386-unknown-linux):
            idInfo co{v agz} [tv]
}}}

",bug,closed,low,7.0.1,Compiler,6.11,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,"T3208a, T3208b",,,