... | ... | @@ -11,48 +11,57 @@ Here's the wiki page for it. (Alas with a different Trac tag; todo: combine.) |
|
|
## Tickets
|
|
|
|
|
|
|
|
|
|
|
|
Use Keyword = `TypeErrorMessages` to ensure that a ticket ends up on these lists.
|
|
|
|
|
|
|
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#1330](https://gitlab.haskell.org//ghc/ghc/issues/1330)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/1330">#1330</a></th>
|
|
|
<td>Impredicativity bug: Church2 test gives a rather confusing error with the HEAD</td></tr>
|
|
|
<tr><th>[\#1928](https://gitlab.haskell.org//ghc/ghc/issues/1928)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/1928">#1928</a></th>
|
|
|
<td>Confusing type error message</td></tr>
|
|
|
<tr><th>[\#2648](https://gitlab.haskell.org//ghc/ghc/issues/2648)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/2648">#2648</a></th>
|
|
|
<td>Report out of date interface files robustly</td></tr>
|
|
|
<tr><th>[\#8809](https://gitlab.haskell.org//ghc/ghc/issues/8809)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/8809">#8809</a></th>
|
|
|
<td>Prettier error messages?</td></tr>
|
|
|
<tr><th>[\#9173](https://gitlab.haskell.org//ghc/ghc/issues/9173)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9173">#9173</a></th>
|
|
|
<td>Improve type mismatch error messages</td></tr>
|
|
|
<tr><th>[\#9244](https://gitlab.haskell.org//ghc/ghc/issues/9244)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9244">#9244</a></th>
|
|
|
<td>Compiler could warn about type variable shadowing, and hint about ScopedTypeVariables</td></tr>
|
|
|
<tr><th>[\#9456](https://gitlab.haskell.org//ghc/ghc/issues/9456)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9456">#9456</a></th>
|
|
|
<td>Weird behavior with polymorphic function involving existential quantification and GADTs</td></tr>
|
|
|
<tr><th>[\#10450](https://gitlab.haskell.org//ghc/ghc/issues/10450)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10450">#10450</a></th>
|
|
|
<td>Poor type error message when an argument is insufficently polymorphic</td></tr>
|
|
|
<tr><th>[\#11198](https://gitlab.haskell.org//ghc/ghc/issues/11198)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11198">#11198</a></th>
|
|
|
<td>TypeInType error message regressions</td></tr>
|
|
|
<tr><th>[\#11384](https://gitlab.haskell.org//ghc/ghc/issues/11384)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11384">#11384</a></th>
|
|
|
<td>Error says to fix incorrect return type</td></tr>
|
|
|
<tr><th>[\#13582](https://gitlab.haskell.org//ghc/ghc/issues/13582)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13582">#13582</a></th>
|
|
|
<td>Confusing error message with multiparameter type classes.</td></tr>
|
|
|
<tr><th>[\#13670](https://gitlab.haskell.org//ghc/ghc/issues/13670)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13670">#13670</a></th>
|
|
|
<td>Improving Type Error Messages</td></tr>
|
|
|
<tr><th>[\#13834](https://gitlab.haskell.org//ghc/ghc/issues/13834)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13834">#13834</a></th>
|
|
|
<td>Error cascade with type applications</td></tr>
|
|
|
<tr><th>[\#14185](https://gitlab.haskell.org//ghc/ghc/issues/14185)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14185">#14185</a></th>
|
|
|
<td>Non-local bug reporting around levity polymorphism</td></tr>
|
|
|
<tr><th>[\#14514](https://gitlab.haskell.org//ghc/ghc/issues/14514)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14514">#14514</a></th>
|
|
|
<td>Error messages: suggest annotating with higher-rank kind</td></tr>
|
|
|
<tr><th>[\#16374](https://gitlab.haskell.org//ghc/ghc/issues/16374)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/16374">#16374</a></th>
|
|
|
<td>Cannot deduce constraint from itself with poly-kinded type family</td></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**Closed Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#9605](https://gitlab.haskell.org//ghc/ghc/issues/9605)</th>
|
|
|
<td>Misleading error message with forgotten "do"</td></tr>
|
|
|
<tr><th>[\#11672](https://gitlab.haskell.org//ghc/ghc/issues/11672)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9605">#9605</a></th>
|
|
|
<td>Misleading error message with forgotten "do"</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11672">#11672</a></th>
|
|
|
<td>Poor error message</td></tr>
|
|
|
<tr><th>[\#14091](https://gitlab.haskell.org//ghc/ghc/issues/14091)</th>
|
|
|
<td>When PolyKinds is on, suggested type signatures seem to require TypeInType</td></tr></table> |
|
|
\ No newline at end of file |
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14091">#14091</a></th>
|
|
|
<td>When PolyKinds is on, suggested type signatures seem to require TypeInType</td></tr></table>
|
|
|
|
|
|
|
|
|
|