wiki:Status/TypeErrorMessages

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
Better type 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
#14091
When PolyKinds is on, suggested type signatures seem to require TypeInType
#14185
Non-local bug reporting around levity polymorphism

Closed Tickets:

#9605
Misleading error message with forgotten "do"
#11672
Poor error message

Last modified 7 months ago Last modified on Apr 19, 2017 2:32:58 PM