I vote accept.

Cheersm
Erik

Matthías Páll Gissurarson wrote:

> Pinging again on this one, we've got 5 accepts so far, I'd like to get one
> more (majority) and then we can merge this.
>
> On Tue, 18 Nov 2025 at 09:28, Sebastian Graf <sgraf1337@gmail.com> wrote:
>
> > I'm in favour as well. Although the whole RN vs. TC modifiers business
> > makes me shiver.
> >
> > Am Fr., 14. Nov. 2025 um 10:39 Uhr schrieb Moritz Angermann <
> > moritz.angermann@gmail.com>:
> >
> >> Agreed.
> >>
> >> On Fri, Nov 14, 2025 at 5:11 PM Arnaud Spiwack <arnaud.spiwack@tweag.io>
> >> wrote:
> >>
> >>> I'm in favour.
> >>>
> >>> On Thu, 13 Nov 2025 at 21:58, Simon Peyton Jones <
> >>> simon.peytonjones@gmail.com> wrote:
> >>>
> >>>> I approve.
> >>>>
> >>>> Simon
> >>>>
> >>>> On Thu, 13 Nov 2025 at 12:03, Matthías Páll Gissurarson <mpg@mpg.is>
> >>>> wrote:
> >>>>
> >>>>> Hey all,
> >>>>>
> >>>>> ChickenProp has been working on implementing the modifiers proposal (#
> >>>>> 370
> >>>>> <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0370-modifiers.rst>),
> >>>>> and has fixed some mistakes and omissions (
> >>>>> https://github.com/ghc-proposals/ghc-proposals/pull/681)
> >>>>>
> >>>>> I had some initial concerns and requested clarification, which has now
> >>>>> been addressed.
> >>>>>
> >>>>> My recommendation is that we *accept*.
> >>>>>
> >>>>> Here's a summary provided by ChickenProp:
> >>>>>
> >>>>> * ';' is now allowed in between modifiers attached to decls, and
> >>>>> required before the decl. So
> >>>>>
> >>>>>       %One   %Two ; data F -- previously allowed, still allowed
> >>>>>       %One   %Two   data F -- previously allowed
> >>>>> , now forbidden
> >>>>>       %One ; %Two ; data F -- previously forbidden, now allowed
> >>>>>       %One ; %Two   data F -- previously forbidden, still forbidden
> >>>>>
> >>>>>   Initially, I made the one before the decl required for parsing
> >>>>> reasons. I couldn't figure out how to have all of: optional pre-decl
> >>>>> semicolon; modifiers attached to expressions; expressions can appear at the
> >>>>> top level. (I was getting shift/reduce or reduce/reduce conflicts in the
> >>>>> parser.) Since there are no longer modifiers attached to expressions, it
> >>>>> could be optional again. But in case we want modifiers on expressions in
> >>>>> future, we might want to keep our options open.
> >>>>>
> >>>>> * No modifiers attached to types or expressions.
> >>>>>
> >>>>> * `-Wunrecognized-modifiers`, not `-Wunknown-modifiers`. Specify that
> >>>>> it's enabled by default.
> >>>>>
> >>>>> * `-XLinearTypes -XNoModifiers` introduces backwards compatible
> >>>>> behavior.
> >>>>>
> >>>>> * Add non-normative discussion of RN versus TC modifiers.
> >>>>>
> >>>>> * In the linear-types proposal, update the examples of modifiers
> >>>>> attached to lambda-bound variables. I think the examples now match the BNF
> >>>>> given. Also, the line "the `lpat` must be a bare variable" was contradicted
> >>>>> by syntax elsewhere in the proposal, so remove that.
> >>>>>
> >>>>>
> >>>>> --
> >>>>> --  Matthías Páll Gissurarson <http://mpg.is/>
> >>>>> _______________________________________________
> >>>>> ghc-steering-committee mailing list --
> >>>>> ghc-steering-committee@haskell.org
> >>>>> To unsubscribe send an email to
> >>>>> ghc-steering-committee-leave@haskell.org
> >>>>>
> >>>> _______________________________________________
> >>>> ghc-steering-committee mailing list --
> >>>> ghc-steering-committee@haskell.org
> >>>> To unsubscribe send an email to
> >>>> ghc-steering-committee-leave@haskell.org
> >>>>
> >>>
> >>>
> >>> --
> >>> Arnaud Spiwack
> >>> Director, Research at https://moduscreate.com and https://tweag.io.
> >>> _______________________________________________
> >>> ghc-steering-committee mailing list --
> >>> ghc-steering-committee@haskell.org
> >>> To unsubscribe send an email to ghc-steering-committee-leave@haskell.org
> >>>
> >> _______________________________________________
> >> ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org
> >> To unsubscribe send an email to ghc-steering-committee-leave@haskell.org
> >>
> > _______________________________________________
> > ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org
> > To unsubscribe send an email to ghc-steering-committee-leave@haskell.org
> >
>
>
> --
> --  Matthías Páll Gissurarson <http://mpg.is/>


--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/