... | @@ -3,7 +3,8 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
... | @@ -3,7 +3,8 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
|
|
|
|
# Active agenda
|
|
# Active agenda
|
|
|
|
|
|
|
|
- Get rid of deep-skol and deep-inst. Needs a new ticket. See Slack.
|
|
|
|
- Improve doc of `ir_inst`: #17173
|
|
- TLKS: lots. RAE to discuss with Vlad
|
|
- TLKS: lots. RAE to discuss with Vlad
|
|
- !1657 out of scope vars:Fail eagerly on out of scope applied to type args. SLPJ
|
|
- !1657 out of scope vars:Fail eagerly on out of scope applied to type args. SLPJ
|
|
- Level numbers: !1132 and (new) #17077.
|
|
- Level numbers: !1132 and (new) #17077.
|
... | @@ -12,6 +13,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
... | @@ -12,6 +13,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
- Function result signatures. [Accepted proposal #228](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0228-function-result-sigs.rst), and [proposed amendment #254](https://github.com/ghc-proposals/ghc-proposals/pull/254). Something is not quite right. [Typing rules here](https://gitlab.haskell.org/rae/haskell)
|
|
- Function result signatures. [Accepted proposal #228](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0228-function-result-sigs.rst), and [proposed amendment #254](https://github.com/ghc-proposals/ghc-proposals/pull/254). Something is not quite right. [Typing rules here](https://gitlab.haskell.org/rae/haskell)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Tiresome bugs
|
|
# Tiresome bugs
|
|
|
|
|
|
- #17021: type families in return kinds
|
|
- #17021: type families in return kinds
|
... | | ... | |