... | @@ -18,6 +18,7 @@ |
... | @@ -18,6 +18,7 @@ |
|
- ...
|
|
- ...
|
|
- [\#11739](https://gitlab.haskell.org//ghc/ghc/issues/11739) (simplify axioms)
|
|
- [\#11739](https://gitlab.haskell.org//ghc/ghc/issues/11739) (simplify axioms)
|
|
- Fix all the `TypeInType` bugs
|
|
- Fix all the `TypeInType` bugs
|
|
|
|
- Clean up pure unifier to make the fact that kind coercions *only* affect type variables by using, e.g., `getCastedTyVar_maybe`.
|
|
|
|
|
|
**Iceland_jack**: By `[]` as a data family do you mean:
|
|
**Iceland_jack**: By `[]` as a data family do you mean:
|
|
|
|
|
... | | ... | |