Dear Committee, Mario Blažević proposes to amend the accepted proposal #409 for exportable named defaults, so that defaults will be exported only if they are listed explicitly (even where a module lacks an export list or is exported as a whole). PR: https://github.com/ghc-proposals/ghc-proposals/pull/672 Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files Rendered: https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export... I'll shepherd this one, since we want to get this resolved before 9.12. As quite a few committee members have already expressed support on the GitHub thread, and based on the rationale at https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980..., I recommend prompt acceptance. Please object within a week if you think we should reconsider. Cheers, Adam On 25/08/2024 17:48, Simon Peyton Jones wrote:
Dear GHC Steering Committee
Please see https://github.com/ghc-proposals/ghc-proposals/pull/672 https://github.com/ghc-proposals/ghc-proposals/pull/672. This is a small amendment to a recently-accepted proposal, prompted by the discovery that the language feature accidentally breaks code that doesn't use it.
It's small but important. Maybe not yet formally submitted for our attention, but we want to get something agreed and implemented before the next release. So I think it's worth your early attention.
Simon
-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England