... | ... | @@ -16,23 +16,23 @@ Use Keyword = `Instances` to ensure that a ticket ends up on these lists. |
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/2986">#2986</a></th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/2986">#2986</a></th>
|
|
|
<td>:info printing instances often isn't wanted</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/7102">#7102</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/7102">#7102</a></th>
|
|
|
<td>Type family instance overlap accepted in ghci</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9918">#9918</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/9918">#9918</a></th>
|
|
|
<td>GHC chooses an instance between two overlapping, but cannot resolve a clause within the similar closed type family</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10089">#10089</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/10089">#10089</a></th>
|
|
|
<td>feature: warn about unused data definitions (with typeclass instances)</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13061">#13061</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/13061">#13061</a></th>
|
|
|
<td>Incorrect constraints given single flexible undecidable instance.</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15177">#15177</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/15177">#15177</a></th>
|
|
|
<td>Faulty instance termination check, with PolyKinds and/or TypeInType</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15191">#15191</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/15191">#15191</a></th>
|
|
|
<td>Deriving via DeriveAnyClass not behaving the same as an emply instance declaration</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15632">#15632</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/15632">#15632</a></th>
|
|
|
<td>Undependable Dependencies</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15895">#15895</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/15895">#15895</a></th>
|
|
|
<td>Unable to match instance signatures</td></tr></table>
|
|
|
|
|
|
|
... | ... | @@ -40,29 +40,29 @@ Use Keyword = `Instances` to ensure that a ticket ends up on these lists. |
|
|
|
|
|
**Closed Tickets:**
|
|
|
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/2118">#2118</a></th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/2118">#2118</a></th>
|
|
|
<td>deriving for GRose</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/3383">#3383</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/3383">#3383</a></th>
|
|
|
<td>Confluent type family instances confuse the solver</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/3877">#3877</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/3877">#3877</a></th>
|
|
|
<td>Require XOverlappingInstances for the most specific instance only</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/7777">#7777</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/7777">#7777</a></th>
|
|
|
<td>ghc panic: varargs + sets</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9582">#9582</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/9582">#9582</a></th>
|
|
|
<td>Associated Type Synonyms do not unfold in InstanceSigs</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11674">#11674</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/11674">#11674</a></th>
|
|
|
<td>GHC accepts overly general instance sigs</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12201">#12201</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/12201">#12201</a></th>
|
|
|
<td>Wrong instance selection with overlapping instance in a superclass</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12787">#12787</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/12787">#12787</a></th>
|
|
|
<td>Weird type constraint with undecidable instances</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13320">#13320</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/13320">#13320</a></th>
|
|
|
<td>Unfortunate compiler loop when creating type loop (with UndecidableInstances)</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13950">#13950</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/13950">#13950</a></th>
|
|
|
<td>IncoherentInstances</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14442">#14442</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/14442">#14442</a></th>
|
|
|
<td>InstanceSigs fails</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14846">#14846</a></th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/14846">#14846</a></th>
|
|
|
<td>Renamer hangs (because of -XInstanceSigs?)</td></tr></table>
|
|
|
|
|
|
|
... | ... | |