[ghc-steering-committee] Please review #696: Splitting out stable interfaces from template-haskell

[Sebastian Graf]

With only two outstanding opinions on the proposal and all other voices
being in support, I declare this proposal as accepted.

Am Sa., 5. Juli 2025 um 23:43 Uhr schrieb Jakob Brünker <
jakob.bruenker at gmail.com>:

>  I vote accept.
>
> Jakob
>
> On Tue, Jul 1, 2025 at 10:32 AM Arnaud Spiwack via ghc-steering-committee <
> ghc-steering-committee at haskell.org> wrote:
>
>> I did post a couple of reservations on the issue. But whatever we end up
>> deciding, I'm in favour anyway. They're, I suppose, a bit on the
>> bikeshedding side. Worth spending a little bit of time on, but not too much.
>>
>> On Mon, 30 Jun 2025 at 17:27, Sebastian Graf via ghc-steering-committee <
>> ghc-steering-committee at haskell.org> wrote:
>>
>>> I think the renaming proposed by Adam is uncontroversial and I will
>>> include this revision when accepting the proposal.
>>>
>>> Am Do., 26. Juni 2025 um 10:25 Uhr schrieb Adam Gundry <
>>> adam at well-typed.com>:
>>>
>>>> I'm also in favour.
>>>>
>>>> I am suggesting some small naming changes, and I would point out one
>>>> detail on which the committee may have opinions as to bikeshed colour,
>>>> namely the module namespace to be used by the new packages. Teo proposes
>>>>
>>>>    template-haskell-lift with module TemplateHaskell.Lift
>>>>    template-haskell-quasiquote with module TemplateHaskell.Quasiquoter
>>>>
>>>> and I suggest slightly tweaking the latter to
>>>>
>>>>    template-haskell-quasiquoter with module TemplateHaskell.QuasiQuoter
>>>>
>>>> for consistency with the QuasiQuoter type name.
>>>>
>>>> In both cases, the module name is in a new TemplateHaskell module
>>>> hierarchy, whereas the existing template-haskell package uses the
>>>> Language.Haskell.TH module hierarchy. I think a renaming is in order,
>>>> because it gives a clear distinction between the historic API of the
>>>> old
>>>> template-haskell package and the cleaned up APIs of the new packages.
>>>> Personally I like the new names, but I wanted to check others are also
>>>> happy with them?
>>>>
>>>> Cheers,
>>>>
>>>> Adam
>>>>
>>>>
>>>>
>>>> On 23/06/2025 08:55, Sebastian Graf wrote:
>>>> > Dear Committee,
>>>> >
>>>> > With their proposal, Teo wants to reduce the maintenance cost for
>>>> > packages (such as `containers`) that depend on `template-haskell`
>>>> only
>>>> > for comparatively stable APIs (`Lift`, quasiquoting), by carving out
>>>> > separate packages for these stable APIs.
>>>> > These so-called "type (A) clients" constitute a considerable share of
>>>> > all clients of `template-haskell`. It is a well-written proposal
>>>> > outlining a simple solution with a great cost/benefit ratio.
>>>> > I recommend we accept it.
>>>> >
>>>> > Cheers,
>>>> > Sebastian
>>>> >
>>>> > Am Mo., 16. Juni 2025 um 09:17 Uhr schrieb Adam Gundry via
>>>> > ghc-steering-committee <ghc-steering-committee at haskell.org
>>>> > <mailto:ghc-steering-committee at haskell.org>>:
>>>> >
>>>> >     Dear Committee,
>>>> >
>>>> >     Teo Camarasu proposes to split out smaller, more coherent
>>>> packages with
>>>> >     more stable interfaces from the template-haskell package:
>>>> >
>>>> >     https://github.com/ghc-proposals/ghc-proposals/pull/696
>>>> >     <https://github.com/ghc-proposals/ghc-proposals/pull/696>
>>>> >
>>>> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst
>>>> <
>>>> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst
>>>> >
>>>> >
>>>> >     I'd like to nominate Sebastian as the shepherd.
>>>> >
>>>> >     Please guide us to a conclusion as outlined in
>>>> >     https://github.com/ghc-proposals/ghc-proposals#committee-process
>>>> >     <https://github.com/ghc-proposals/ghc-proposals#committee-process
>>>> >
>>>> >
>>>> >     Cheers,
>>>> >
>>>> >     Adam
>>>> >
>>>>
>>>> --
>>>> 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
>>>>
>>>> _______________________________________________
>>> ghc-steering-committee mailing list
>>> ghc-steering-committee at haskell.org
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>>
>>
>>
>> --
>> Arnaud Spiwack
>> Director, Research at https://moduscreate.com and https://tweag.io.
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250714/463d95f2/attachment.html>