Skip to content

Latest commit

 

History

History
52 lines (37 loc) · 3.26 KB

2022-05-30.md

File metadata and controls

52 lines (37 loc) · 3.26 KB

SWG 2022-05-30

Meeting URL: https://meet.jit.si/StableHaskellMeetBiWeekly

Previous meeting notes

Agenda

Notes

  • Was simplified subsumption a net win for industry?

    • Hindsight: provide a better migration path
    • Hindsight: advertise breaking changes more clearly
    • WIP Proposal
    • Idea: Find industry user groups to help smoke test with ghc preleases
      • Holding the token on this: David

  • Helping move the community away from deprecated langauge extensions (Rank2Types, OverlappingInstances)

    • Trevis is going to work on improving documentation of extensions that are (a) widely used, (b) deprecated (c) easily avoided by doing something better.
    • e.g. Rank2Types is marked as "deprecated" in the user guide, but there is no warning if you use it. Fix: use RankNTypes
    • e.g. OverlappingInstances and IncoherentInstances are similar. Fix: use per-instance {-# OVERLAPPING #-} or {-# OVERLAPPABLE #-} pragmas
    • Could we get volunteers to offer finished PRs that make these changes.
    • Chris questions whether it is worth investing cycles in this project.

  • -Werror.

    • Maybe we should articulate, in GHC's breakage policy, that new warnings may be added that warn about code that currently doesn't warn; and hence -Werror will force authors to make some change to their .cabal file.
    • -Wcompat: new warnings are by default added to -Wcompat. You can switch on -Werror and -Wno-error-compat (or something like that). We should explain that.
    • GHC migration guide could list new warnings.
    • Tom will add the link to the Core Libraries warning policy
    • Chris will draft a proposal -- essentially, part of a new GHC breakage policy doc.

  • GHC breakage policy. I wonder if we could draft this ourselves? (Rather than hope that GHC HQ does.)

  • GHC.X.Hackage proposal update

  • GHC tick-tock release proposal. See https://edit.smart-cactus.org/2aHzr6aTQEiDlNCliKaCYg

  • Update on Language/compiler features to help stability

  • Haskell Party Proposal