... | ... | @@ -14,61 +14,69 @@ Historical note: the [ development repository](https://github.com/xnyhps/ghc) an |
|
|
## Tickets
|
|
|
|
|
|
|
|
|
|
|
|
Use Keyword = `TypedHoles` to ensure that a ticket ends up on these lists.
|
|
|
|
|
|
|
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#5910](https://gitlab.haskell.org//ghc/ghc/issues/5910)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/5910">#5910</a></th>
|
|
|
<td>Holes with other constraints</td></tr>
|
|
|
<tr><th>[\#10875](https://gitlab.haskell.org//ghc/ghc/issues/10875)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10875">#10875</a></th>
|
|
|
<td>Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.</td></tr>
|
|
|
<tr><th>[\#11186](https://gitlab.haskell.org//ghc/ghc/issues/11186)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11186">#11186</a></th>
|
|
|
<td>Give strong preference to type variable names in scope when reporting hole contexts</td></tr>
|
|
|
<tr><th>[\#13499](https://gitlab.haskell.org//ghc/ghc/issues/13499)</th>
|
|
|
<td>"Panic: no skolem info" with StaticPointers and typed hole</td></tr>
|
|
|
<tr><th>[\#14040](https://gitlab.haskell.org//ghc/ghc/issues/14040)</th>
|
|
|
<td>Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY\[sk:2\]</td></tr>
|
|
|
<tr><th>[\#14858](https://gitlab.haskell.org//ghc/ghc/issues/14858)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13499">#13499</a></th>
|
|
|
<td>"Panic: no skolem info" with StaticPointers and typed hole</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14040">#14040</a></th>
|
|
|
<td>Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14858">#14858</a></th>
|
|
|
<td>Typed hole subtitution search fails in the REPL</td></tr>
|
|
|
<tr><th>[\#15677](https://gitlab.haskell.org//ghc/ghc/issues/15677)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15677">#15677</a></th>
|
|
|
<td>Valid hole fits and GADT type variable names</td></tr>
|
|
|
<tr><th>[\#15697](https://gitlab.haskell.org//ghc/ghc/issues/15697)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15697">#15697</a></th>
|
|
|
<td>Typed holes inferring a more polymorphic type</td></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**Closed Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#9479](https://gitlab.haskell.org//ghc/ghc/issues/9479)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9479">#9479</a></th>
|
|
|
<td>Report required constraints when reporting the type of a hole</td></tr>
|
|
|
<tr><th>[\#10267](https://gitlab.haskell.org//ghc/ghc/issues/10267)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10267">#10267</a></th>
|
|
|
<td>Add support for typed holes in Template Haskell</td></tr>
|
|
|
<tr><th>[\#10954](https://gitlab.haskell.org//ghc/ghc/issues/10954)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10954">#10954</a></th>
|
|
|
<td>Add class/context information to typed hole relevant bindings</td></tr>
|
|
|
<tr><th>[\#11515](https://gitlab.haskell.org//ghc/ghc/issues/11515)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11515">#11515</a></th>
|
|
|
<td>PartialTypeSignatures suggests a redundant constraint with constraint families</td></tr>
|
|
|
<tr><th>[\#14884](https://gitlab.haskell.org//ghc/ghc/issues/14884)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14884">#14884</a></th>
|
|
|
<td>Type holes cause assertion failure in ghc-stage2 compiler during type checking</td></tr>
|
|
|
<tr><th>[\#14969](https://gitlab.haskell.org//ghc/ghc/issues/14969)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14969">#14969</a></th>
|
|
|
<td>Underconstrained typed holes are non-performant</td></tr>
|
|
|
<tr><th>[\#14996](https://gitlab.haskell.org//ghc/ghc/issues/14996)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14996">#14996</a></th>
|
|
|
<td>Typed holes are very slow</td></tr>
|
|
|
<tr><th>[\#15007](https://gitlab.haskell.org//ghc/ghc/issues/15007)</th>
|
|
|
<td>Don't keep shadowed variables in ghci, both renamer and type checker</td></tr>
|
|
|
<tr><th>[\#15035](https://gitlab.haskell.org//ghc/ghc/issues/15035)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15007">#15007</a></th>
|
|
|
<td>Don't keep shadowed variables in ghci, both renamer and type checker</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15035">#15035</a></th>
|
|
|
<td>Panic when using StaticPointers with typed holes</td></tr>
|
|
|
<tr><th>[\#15037](https://gitlab.haskell.org//ghc/ghc/issues/15037)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15037">#15037</a></th>
|
|
|
<td>Running 1 twice, followed by a typed hole, in GHCi causes internal error</td></tr>
|
|
|
<tr><th>[\#15076](https://gitlab.haskell.org//ghc/ghc/issues/15076)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15076">#15076</a></th>
|
|
|
<td>Typed hole with higher-rank kind causes GHC to panic (No skolem info)</td></tr>
|
|
|
<tr><th>[\#15202](https://gitlab.haskell.org//ghc/ghc/issues/15202)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15202">#15202</a></th>
|
|
|
<td>Internal error showing typed hole in GHCi</td></tr>
|
|
|
<tr><th>[\#15321](https://gitlab.haskell.org//ghc/ghc/issues/15321)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15321">#15321</a></th>
|
|
|
<td>Typed holes in Template Haskell splices produce bewildering error messages</td></tr>
|
|
|
<tr><th>[\#15370](https://gitlab.haskell.org//ghc/ghc/issues/15370)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15370">#15370</a></th>
|
|
|
<td>Typed hole panic on GHC 8.6 (tcTyVarDetails)</td></tr>
|
|
|
<tr><th>[\#15401](https://gitlab.haskell.org//ghc/ghc/issues/15401)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15401">#15401</a></th>
|
|
|
<td>Weird GHCi bug</td></tr>
|
|
|
<tr><th>[\#15962](https://gitlab.haskell.org//ghc/ghc/issues/15962)</th>
|
|
|
<td>Type family & typeclass interaction suppresses errors</td></tr></table>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15962">#15962</a></th>
|
|
|
<td>Type family & typeclass interaction suppresses errors</td></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
... | ... | |