Custom Query

Status: closed (14 matches)

Ticket	Summary	Owner	Type	Priority	Version	Resolution
#323	Exponential behaviour with type synonyms	simonpj	bug	low	6.4.1	fixed
#451	GHC poor type-checker error message		bug	normal	6.4	wontfix
#565	overlapping instances & fundeps broken	simonpj	bug	low	5.0	invalid
#788	Implement class aliases and/or constraint synonyms	--	feature request	normal		fixed
#959	Debugging info(?) leaks out: "Urk! Inventing strangely-kinded void TyCon"		bug	normal	6.6	fixed
#1050	Using an inferred type as a type signature fails		bug	low	6.6	fixed
#1221	Types don't match expressions in type error	simonpj	bug	low	6.6	wontfix
#1241	Functional dependency Coverage Condition is lifted, and should not be		bug	normal	6.6	fixed
#1696	Confusing type signature		bug	low	6.6.1	fixed
#2247	GHC accepts FD violations, unless the conflicing instances are used		bug	normal	6.9	fixed
#2695	bogus "syntactically distinct contexts" error	--	bug	low	6.11	fixed
#2900	Confusing error message for monadic function with wrong number of arguments		bug	normal	6.10.1	fixed
#3023	Wrong inferred type shown	--	bug	normal	6.10.1	fixed
#7856	Wrong error message for unknown Instance		feature request	normal	7.6.3	invalid

Ticket	Summary	Owner	Type	Priority	Version	Resolution
#345	GADT - fundep interaction	simonpj	bug	low	6.4	None
#393	functions without implementations	simonpj	feature request	normal	None	None
#472	Supertyping of classes		feature request	normal	None	None
#589	Various poor type error messages		bug	low	6.4.1	--
#816	Weird fundep behavior (with -fallow-undecidable-instances)		bug	normal	6.4.2
#1404	allow more type signatures		feature request	normal	6.6.1	--
#1451	Provide way to show the origin of a constraint		feature request	normal	6.6.1	--
#1614	Type checker does not use functional dependency to avoid ambiguity		bug	normal	6.7
#1928	Confusing type error message		bug	low	6.8.1	--
#3545	As-patterns for type signatures	--	feature request	normal	6.11	--
#4894	Missing improvement for fun. deps.		feature request	normal	7.1	--
#5957	signatures are too permissive		bug	low	7.4.1
#6065	Suggested type signature causes a type error (even though it appears correct)		bug	normal	7.4.1	--
#7026	Impredicative implicit parameters		bug	normal	7.4.2	--