CLC Update (July 2023)

[ChShersh]

As part of my Core Libraries Committee (CLC) involvement, I committed to writing monthly CLC updates.

Previous update:

• CLC Update (June 2023)

All CLC work is done by volunteers in their free time.

Featured discussion

The results of CLC and GHC committees collaboration on the base split are now captured in the following HF tech proposal (still under active discussion):

• #51: GHC’s base libraries: Combining stability with innovation

New

List of newly opened proposals since the last update.

• #175: Allow lookup to fuse
• #177: Make read accepts binary integer notation
• #179: Add INLINE[1] to compareInt / compareWord
• #181: Explicitly define many and some in Alternative instance of Data.Functor.Compose
• #182: Data.List should re-export GHC.List.List
• #185: MonadFix :+: instance for GHC Generics

Approved

List of approved proposals since the last update.

• #154: Support for unaligned reads/writes
• #167: Add foldl’ to Prelude
• #178: Add COMPLETE pragma to BufferCodec pattern synonym
• #184: Expose unsafeThawByteArray# from GHC.Exts

Declined

List of rejected proposals since the last update.

None

Withdrawn

List of proposals withdrawn voluntarily by their authors.

• #171: Hide GHC.TypeLits.Internal and GHC.TypeNats.Internal
  • The proposal author doesn’t think anymore that the proposal is needed

Abandoned or Dormant

List of abandoned proposals due to lack of progress from the proposal author.

• #107: Make NonEmpty functions less gratuitously lazy
• #156: Expose sized integer types from Prelude
• #157: Add instances for StablePtr
• #163: Add finalizer functions for ThreadId

Meta

List of CLC process updates and meta improvements.

• #145: Buy-in for Technical Proposal #47
  • This is now closed and the results of the discussion are now reflected in technical proposal #51 (see the featured discussion)
• #173: Improve documentation about opening discussions (non-proposals)
  • You can submit feature requests to base via multiple channels (CLC proposals, GHC issue tracker, GHC proposals) and it’s immediately clear from the CLC description what exactly is considered by CLC
• #174: Migration guide for quantified superclasses of Bifoldable/-traversable
  • Draft of the migration guide for one of the proposals which is still under discussion
• #176: array: Add Data.Array.IArray.(!?) (safe index)
  • array maintainers consulted CLC about adding the !? operator for safe indexing and CLC supported this proposal
• #180: Add guide to migration for foldl’ export
  • The proposal for adding foldl' to Prelude was accepted and this PR adds a migration guide
  • Special kudos to @Bodigrim for the huge work on helping a big number of packages to adapt to this change!
• #183: Change derived Show for unlifted fields
  • Closed at out-of-scope

---

Feel free to share any feedback on these updates! Do you like the format? Do you like the granularity? Anything else