... | @@ -33,6 +33,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
... | @@ -33,6 +33,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
|
|
|
|
# Tiresome bugs
|
|
# Tiresome bugs
|
|
|
|
|
|
|
|
- #17812: levity polymorphism in typed holes
|
|
- #17021: type families in return kinds
|
|
- #17021: type families in return kinds
|
|
- #16995, !1496: Flattening and `coreFlattenTyFamApp`
|
|
- #16995, !1496: Flattening and `coreFlattenTyFamApp`
|
|
- #17064: uniques for built in tyvars
|
|
- #17064: uniques for built in tyvars
|
... | | ... | |