... | @@ -2,8 +2,8 @@ |
... | @@ -2,8 +2,8 @@ |
|
|
|
|
|
## Urgent or in-flight
|
|
## Urgent or in-flight
|
|
|
|
|
|
- [\#10132](https://gitlab.haskell.org//ghc/ghc/issues/10132): inconsistent kind polymorphism for top-level and associated type families
|
|
- [\#10114](https://gitlab.haskell.org//ghc/ghc/issues/10114): `AnyK` and kind generalisation in type synonyms
|
|
- [\#10079](https://gitlab.haskell.org//ghc/ghc/issues/10079): type inference for `Coercible` (Richard)
|
|
- [\#10079](https://gitlab.haskell.org//ghc/ghc/issues/10079), [\#10139](https://gitlab.haskell.org//ghc/ghc/issues/10139), [\#7788](https://gitlab.haskell.org//ghc/ghc/issues/7788): type inference for `Coercible` (Richard)
|
|
- [\#10087](https://gitlab.haskell.org//ghc/ghc/issues/10087): typechecking generic default methods (Pedro)
|
|
- [\#10087](https://gitlab.haskell.org//ghc/ghc/issues/10087): typechecking generic default methods (Pedro)
|
|
- [\#10068](https://gitlab.haskell.org//ghc/ghc/issues/10068): runtime reflection API for modules, names.
|
|
- [\#10068](https://gitlab.haskell.org//ghc/ghc/issues/10068): runtime reflection API for modules, names.
|
|
- [\#9858](https://gitlab.haskell.org//ghc/ghc/issues/9858): `Typeable` should be kind-aware (Iavor)
|
|
- [\#9858](https://gitlab.haskell.org//ghc/ghc/issues/9858): `Typeable` should be kind-aware (Iavor)
|
... | | ... | |