... | ... | @@ -5,7 +5,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
|
|
|
|
# Active agenda
|
|
|
|
|
|
- Eager vs lazy instantiation, and `ir_inst`: #17173, #17790
|
|
|
- Eager vs lazy instantiation, and `ir_inst`: #17173, #17790, and the latter part of the dicussion thread for (287: simplify susbumption](https://github.com/ghc-proposals/ghc-proposals/pull/287)
|
|
|
- #17580: remove roles from the flattener
|
|
|
- #17581: swap sense of coercion in the flattener
|
|
|
- #17582: re-engineer rebindable syntax
|
... | ... | |