|
|
# Summary of tasks to be completed
|
|
|
|
|
|
|
|
|
... as discussed by Richard and Simon. This page is mostly for our own notes, but others are welcome to read it.
|
|
|
|
|
|
- Implement homogeneous as per Stephanie's paper
|
|
|
- Fix [\#11715](https://gitlab.haskell.org//ghc/ghc/issues/11715) according to Richard's plan
|
|
|
- Change flattener to be homogeneous ([\#12919](https://gitlab.haskell.org//ghc/ghc/issues/12919))
|
|
|
- Remove `solveSomeEqualities`
|
|
|
- Generalized injectivity [\#10832](https://gitlab.haskell.org//ghc/ghc/issues/10832), vis-a-vis Constrained Type Families paper
|
|
|
- [\#13333](https://gitlab.haskell.org//ghc/ghc/issues/13333) (Typeable regression)
|
|
|
- Taking better advantage of levity polymorphism:
|
|
|
|
|
|
- Could `[]` be a data family?
|
|
|
- Unlifted newtypes
|
|
|
- Unlifted datatypes
|
|
|
- generalized classes in base
|
|
|
- ...
|
|
|
- [\#11739](https://gitlab.haskell.org//ghc/ghc/issues/11739) (simplify axioms)
|
|
|
- Fix all the `TypeInType` bugs |