I haven't read the whole proposal, but based on Sebastian's summary it seems like a reasonable thing to do. +1 from me. Simon On Mon, 6 Apr 2026 at 19:11, Sebastian Graf <sgraf1337@gmail.com> wrote:
Dear committee,
Teo proposes to hide the implementation of the Q monad. This allows an internal only interface to be split out of Quasi. This enables the internal interface to evolve independently of Quasi, the external interface. This small change has a practically important benefit: adding a new function to Q (a seemingly minor change) no longer forces a major version bump of GHC to cause a major version bump of template-haskell that will transitively ripple through the whole ecosystem. I highly recommend we accept the proposal.
Sebastian
Am Di., 10. März 2026 um 10:55 Uhr schrieb Simon Marlow < marlowsd@gmail.com>:
Teo Camarasu submitted proposal *#700: Abstract Q* to the committee for review.
https://github.com/ghc-proposals/ghc-proposals/pull/700
I'd like to nominate *Sebastian Graf *as the shepherd.
Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#commit....
If possible, please aim to make a recommendation by *24 March 2026*.
Cheers Simon _______________________________________________ ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org To unsubscribe send an email to ghc-steering-committee-leave@haskell.org