... | ... | @@ -13,69 +13,7 @@ Historical note: the [development repository](https://github.com/xnyhps/ghc) and |
|
|
|
|
|
## Tickets
|
|
|
|
|
|
|
|
|
|
|
|
Use Keyword = `TypedHoles` to ensure that a ticket ends up on these lists.
|
|
|
|
|
|
|
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<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><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><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><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><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><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><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><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><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><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><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><a href="https://gitlab.haskell.org/ghc/ghc/issues/14969">#14969</a></th>
|
|
|
<td>Underconstrained typed holes are non-performant</td></tr>
|
|
|
<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><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><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><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><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><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><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><a href="https://gitlab.haskell.org/ghc/ghc/issues/15401">#15401</a></th>
|
|
|
<td>Weird GHCi bug</td></tr>
|
|
|
<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>
|
|
|
|
|
|
See the ~"typed holes" label.
|
|
|
|
|
|
|
|
|
---
|
... | ... | |