id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4174,Jumbled error message from type family operator,lilac,,"The attached file produces this error message:

{{{
Testcase.hs:82:0:
    Couldn't match expected type `True'
           against inferred type `Main.R::<=:GHC6'10GHC6'8 Minor1 minor'
    When generalising the type(s) for `testcase'
}}}

That should say
{{{
[...] against inferred type `GHC6'10 Minor1 :<=: GHC6'8 minor'
}}}

Apologies for the complexity of the testcase; simpler testcases seem to not reproduce the problem.",bug,closed,normal,7.0.1,Compiler (Type checker),6.12.1,fixed,,,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,,indexed-types/should_fail/T4174,,,