[ghc-steering-committee] Re: #681: Updates to modifier proposal, recommendation: accept

It's Monday, and there were no further concerns as far as I can tell :) Should we let the author know that their proposal had been accepted? Am Fr., 21. Nov. 2025 um 15:17 Uhr schrieb Matthías Páll Gissurarson < mpg@mpg.is>:

Great! I'll wait until monday for any last concerns, and then accept the proposal as it currently stands.

On Fri, Nov 21, 2025 at 2:51 AM Erik de Castro Lopo wrote:

...

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 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-mo... ), >> 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/

_______________________________________________ ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org To unsubscribe send an email to ghc-steering-committee-leave@haskell.org