id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3592	Eta-contraction gives a rather bogus type error message	guest	simonpj	"Consider the following program:

{{{
module Main where

type T a = Show a => a

f :: T a -> String
f = show
}}}

Compiling this with GHC 6.10.3 and -fglasgow-exts gives:

{{{
[1 of 1] Compiling Main             ( Test.hs, interpreted )
ghc: panic! (the 'impossible' happened)
  (GHC version 6.10.3 for i386-apple-darwin):
	TcTyFuns.flattenType: unexpected PredType
}}}"	bug	closed	normal	7.4.1	Compiler (Type checker)	6.10.3	fixed		thomas@…	Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	typecheck/should_fail/T359