... | ... | @@ -17,7 +17,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
|
- [Proposal 99: explicit specificity](https://github.com/ghc-proposals/ghc-proposals/pull/99). Lets us write `T :: forall {k} (a :: k).blah`. #16393, #17569
|
|
|
- Move levity poly checks from zonker to desugarer
|
|
|
- PredTree stuff (RAE). https://gitlab.haskell.org/rae/ghc/tree/pred, #17536
|
|
|
- `TypeLike` and `KnownRuntimeRep` constraints: #17201, #15979, #17536, also fixes #8388. And #17201, #17113, #13105. #17131 is another example. Blocked on PredTree stuff
|
|
|
- `TypeLike` and `KnownRuntimeRep` constraints: #17201, #15979, #17536, also fixes #8388. And #17201, #17113, #13105. #17131 is another example. And #19573. Blocked on PredTree stuff
|
|
|
- #17295 (confluence in solver) badly needs execution. We have a plan. RAE.
|
|
|
- #17202, #16502: bug in the superclass expansion of quantified constraints; also we need to eagerly expand superclasses for quantified constraints to fix [this comment](https://gitlab.haskell.org/ghc/ghc/issues/16502#note_189978) in #16502. Richard has !2283 in progress
|
|
|
- #17323 and !2042: the PKTI is not good enough. Also #17223 (Refl zapping)
|
... | ... | |