... | ... | @@ -15,6 +15,7 @@ July 18: |
|
|
- [\#14873](https://gitlab.haskell.org//ghc/ghc/issues/14873): make `typeKind` monadic in the type checker
|
|
|
- [\#15346](https://gitlab.haskell.org//ghc/ghc/issues/15346): `pushCoDataCon` is wrong somehow
|
|
|
- [\#15192](https://gitlab.haskell.org//ghc/ghc/issues/15192): `GRefl`: still looking into perf changes
|
|
|
- [\#8095](https://gitlab.haskell.org//ghc/ghc/issues/8095): coercion zapping
|
|
|
- Better floatEqualites based on level numbers
|
|
|
|
|
|
**Type declarations and signatures** (Dec 17)
|
... | ... | |