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

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

...

...

...

...

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/