... | ... | @@ -9,52 +9,61 @@ But not 'deriving'; there's a separate [page for that](deriving-instances) |
|
|
## Tickets
|
|
|
|
|
|
|
|
|
|
|
|
Use Keyword = `Instances` to ensure that a ticket ends up on these lists.
|
|
|
|
|
|
|
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#2986](https://gitlab.haskell.org//ghc/ghc/issues/2986)</th>
|
|
|
<td>:info printing instances often isn't wanted</td></tr>
|
|
|
<tr><th>[\#7102](https://gitlab.haskell.org//ghc/ghc/issues/7102)</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>
|
|
|
<td>Type family instance overlap accepted in ghci</td></tr>
|
|
|
<tr><th>[\#9918](https://gitlab.haskell.org//ghc/ghc/issues/9918)</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>[\#10089](https://gitlab.haskell.org//ghc/ghc/issues/10089)</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>[\#13061](https://gitlab.haskell.org//ghc/ghc/issues/13061)</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>[\#15177](https://gitlab.haskell.org//ghc/ghc/issues/15177)</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>[\#15191](https://gitlab.haskell.org//ghc/ghc/issues/15191)</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>[\#15632](https://gitlab.haskell.org//ghc/ghc/issues/15632)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15632">#15632</a></th>
|
|
|
<td>Undependable Dependencies</td></tr>
|
|
|
<tr><th>[\#15895](https://gitlab.haskell.org//ghc/ghc/issues/15895)</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>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**Closed Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#2118](https://gitlab.haskell.org//ghc/ghc/issues/2118)</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>[\#3383](https://gitlab.haskell.org//ghc/ghc/issues/3383)</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>[\#3877](https://gitlab.haskell.org//ghc/ghc/issues/3877)</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>[\#7777](https://gitlab.haskell.org//ghc/ghc/issues/7777)</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>[\#9582](https://gitlab.haskell.org//ghc/ghc/issues/9582)</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>[\#11674](https://gitlab.haskell.org//ghc/ghc/issues/11674)</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>[\#12201](https://gitlab.haskell.org//ghc/ghc/issues/12201)</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>[\#12787](https://gitlab.haskell.org//ghc/ghc/issues/12787)</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>[\#13320](https://gitlab.haskell.org//ghc/ghc/issues/13320)</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>[\#13950](https://gitlab.haskell.org//ghc/ghc/issues/13950)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13950">#13950</a></th>
|
|
|
<td>IncoherentInstances</td></tr>
|
|
|
<tr><th>[\#14442](https://gitlab.haskell.org//ghc/ghc/issues/14442)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14442">#14442</a></th>
|
|
|
<td>InstanceSigs fails</td></tr>
|
|
|
<tr><th>[\#14846](https://gitlab.haskell.org//ghc/ghc/issues/14846)</th>
|
|
|
<td>Renamer hangs (because of -XInstanceSigs?)</td></tr></table> |
|
|
\ No newline at end of file |
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14846">#14846</a></th>
|
|
|
<td>Renamer hangs (because of -XInstanceSigs?)</td></tr></table>
|
|
|
|
|
|
|
|
|
|