... | ... | @@ -8,6 +8,13 @@ |
|
|
... as discussed by Richard and Simon. This page is mostly for our own notes, but others are welcome to read it.
|
|
|
|
|
|
|
|
|
Oct 18:
|
|
|
|
|
|
- New module `KcTyClsDecls` that pulls from `TcTyClsDecls` and `TcHsType`.
|
|
|
- Remove `get_class_tvs` from `kcTyClGroup`, in favor of tracking AT TcTyCons in the class TcTyCon
|
|
|
- Remove all the work in `tcTyClTyVars`. It's redundant. `correct_binders` is done by `mk_req_tcb` in `generalise`, `reportFloatingKvs` is irrelevant for CUSKS (should move to `generalise` or `checkValidTyCon`), and `findDupTyVarTvs` can move to `generalise`.
|
|
|
|
|
|
|
|
|
Aug 18:
|
|
|
|
|
|
- [\#15742](https://gitlab.haskell.org//ghc/ghc/issues/15742): nail down inferred/specified/required
|
... | ... | |