... | ... | @@ -11,19 +11,19 @@ We should be clear about the dependencies between items on this list. |
|
|
|
|
|
- `tcSyntaxOp` simplification: [\#14963](https://gitlab.haskell.org//ghc/ghc/issues/14963). See [comment:11:ticket:14963](https://gitlab.haskell.org//ghc/ghc/issues/14963). But we have a new and simpler plan, sketched in our Slack channel.
|
|
|
|
|
|
- DONE[ Proposal 81: Visible dependent quantification](https://github.com/ghc-proposals/ghc-proposals/pull/81). Just syntax! Lets you say `forall a -> ty` in types. See [GhcKinds/KindInference](ghc-kinds/kind-inference) and [GhcKinds/KindInference/Examples](ghc-kinds/kind-inference/examples). [\#16326](https://gitlab.haskell.org//ghc/ghc/issues/16326).
|
|
|
- DONE[Proposal 81: Visible dependent quantification](https://github.com/ghc-proposals/ghc-proposals/pull/81). Just syntax! Lets you say `forall a -> ty` in types. See [GhcKinds/KindInference](ghc-kinds/kind-inference) and [GhcKinds/KindInference/Examples](ghc-kinds/kind-inference/examples). [\#16326](https://gitlab.haskell.org//ghc/ghc/issues/16326).
|
|
|
|
|
|
- [ Proposal 99: explicit specificity](https://github.com/ghc-proposals/ghc-proposals/pull/99). Lets us write `T :: forall {k} (a :: k).blah`. Vlad will work on this.
|
|
|
- [Proposal 99: explicit specificity](https://github.com/ghc-proposals/ghc-proposals/pull/99). Lets us write `T :: forall {k} (a :: k).blah`. Vlad will work on this.
|
|
|
|
|
|
- [ Proposal 179: tweak printing of foralls](https://github.com/ghc-proposals/ghc-proposals/pull/179)
|
|
|
- [Proposal 179: tweak printing of foralls](https://github.com/ghc-proposals/ghc-proposals/pull/179)
|
|
|
|
|
|
- [ Proposal 54: top-level kind signatures for type constuctors](https://github.com/ghc-proposals/ghc-proposals/pull/54) (depends on Proposal 81)
|
|
|
- [Proposal 54: top-level kind signatures for type constuctors](https://github.com/ghc-proposals/ghc-proposals/pull/54) (depends on Proposal 81)
|
|
|
|
|
|
- DONE[ Proposal 103: treat kind and type variables identically in forall](https://github.com/ghc-proposals/ghc-proposals/pull/103) (depends on Proposal 83). Includes applying the "forall-or-nothing rule" to kind variables. The proposal says "wait until two releases after Proposal 83 is done (which was in 8.6)". So we can do this in HEAD as soon as 8.8 forks. Subsumes [\#14548](https://gitlab.haskell.org//ghc/ghc/issues/14548).
|
|
|
- DONE[Proposal 103: treat kind and type variables identically in forall](https://github.com/ghc-proposals/ghc-proposals/pull/103) (depends on Proposal 83). Includes applying the "forall-or-nothing rule" to kind variables. The proposal says "wait until two releases after Proposal 83 is done (which was in 8.6)". So we can do this in HEAD as soon as 8.8 forks. Subsumes [\#14548](https://gitlab.haskell.org//ghc/ghc/issues/14548).
|
|
|
|
|
|
- [\#12088](https://gitlab.haskell.org//ghc/ghc/issues/12088): SCC for kind inference: we know what to do, it's just a question of doing it. See also [\#7503](https://gitlab.haskell.org//ghc/ghc/issues/7503), [\#14451](https://gitlab.haskell.org//ghc/ghc/issues/14451). This will be much easier once Proposal 54 is done.
|
|
|
|
|
|
- [ Proposal 126: Type applications in patterns](https://github.com/ghc-proposals/ghc-proposals/pull/126).
|
|
|
- [Proposal 126: Type applications in patterns](https://github.com/ghc-proposals/ghc-proposals/pull/126).
|
|
|
|
|
|
# Refactoring of existing stuff that we'd like to get done
|
|
|
|
... | ... | @@ -52,7 +52,7 @@ We should be clear about the dependencies between items on this list. |
|
|
|
|
|
- (May 18) [\#14040](https://gitlab.haskell.org//ghc/ghc/issues/14040), which I think is not fixed. But it’s somehow linked to [\#15076](https://gitlab.haskell.org//ghc/ghc/issues/15076). And that in turn is caused by [\#14880](https://gitlab.haskell.org//ghc/ghc/issues/14880). Which Richard has a patch for that doesn’t quite work yet. And the fix might cure [\#14887](https://gitlab.haskell.org//ghc/ghc/issues/14887)
|
|
|
|
|
|
- Homogeneous flattener ([\#12919](https://gitlab.haskell.org//ghc/ghc/issues/12919), [\#13643](https://gitlab.haskell.org//ghc/ghc/issues/13643)). [ Phab:D3848](https://phabricator.haskell.org/D3848). [ Phab:D4451](https://phabricator.haskell.org/D4451) is a patch to D3848 that fixes performance
|
|
|
- Homogeneous flattener ([\#12919](https://gitlab.haskell.org//ghc/ghc/issues/12919), [\#13643](https://gitlab.haskell.org//ghc/ghc/issues/13643)). [Phab:D3848](https://phabricator.haskell.org/D3848). [Phab:D4451](https://phabricator.haskell.org/D4451) is a patch to D3848 that fixes performance
|
|
|
|
|
|
- [\#11715](https://gitlab.haskell.org//ghc/ghc/issues/11715): constraint vs \*. Plus the `mkCastTy` mess ([\#15918](https://gitlab.haskell.org//ghc/ghc/issues/15918)). On the latter point at some time we wrote these notes:
|
|
|
|
... | ... | |