GitLab

The GHC Steering Committee has come up with a list of extensions that should be recognized as GHC2021: https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst

So let’s implement it :-)

I expect it should mostly be a variant of existing code for Haskell98, plus documentation:

SPJ writes makes some hints about how the user manual should present this.

In particular, we might want to articulate some of all of the criteria from https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0372-ghc-extensions.rst (in the user manual too). In particular

• They are a set of extensions that a team might reasonably want to be switched on all the time.

In particular: (a) stable and (b) conservative. By (b) we exclude extensions like OverlappingInstances, which may be stable but we don't want to be on-by-default.

Or some summary anyway, so that users know what the intended use of the extension is.

Part of me of course would love to see that with 9.0 (woudn’t it be great if this innovation would coincide with a major version bump), but we are probably far too late in the process to do that, are we, @bgamari?