wiki:Status/TypeErrorMessages

Version 1 (modified by simonpj, 2 years ago) (diff)

--

Type error messages

Ideas and suggestions for improving type error messages

Tickets

Use Keyword = TypeErrorMessages to ensure that a ticket ends up on these lists.

Open Tickets:

#1330
Impredicativity bug: Church2 test gives a rather confusing error with the HEAD
#1928
Confusing type error message
#2648
Report out of date interface files robustly
#8809
Prettier error messages?
#9173
Improve type mismatch error messages
#9244
Compiler could warn about type variable shadowing, and hint about ScopedTypeVariables
#9456
Weird behavior with polymorphic function involving existential quantification and GADTs
#10450
Poor type error message when an argument is insufficently polymorphic
#11198
TypeInType error message regressions
#11384
Error says to fix incorrect return type
#13582
Confusing error message with multiparameter type classes.
#13670
Improving Type Error Messages
#13834
Error cascade with type applications
#14185
Non-local bug reporting around levity polymorphism
#14514
Error messages: suggest annotating with higher-rank kind
#16374
Cannot deduce constraint from itself with poly-kinded type family

Closed Tickets:

#9605
Misleading error message with forgotten "do"
#11672
Poor error message
#14091
When PolyKinds is on, suggested type signatures seem to require TypeInType