I agree with Simon. 

• For QualifiedStrings, I vote accept.
• For QualifiedNumerics, I left a comment arguing for just the -XQualifiedDo bits. That requires amending the proposal, so I accept conditionally on this amendment. (Which in practice means "back to the author"??)
• For QualifiedLists, I left a comment in order to settle the API questions that Simon raised. Also requires amending the proposal.

Am Sa., 20. Sept. 2025 um 10:36 Uhr schrieb Matthías Páll Gissurarson <mpg@mpg.is>:

@Simon Peyton Jones 

What do you mean by "not sure about precise API?"? Wait for the implementation and then amend the proposal?

Otherwise I'm in agreement,
+ QualifiedStrings: yes
+ QualifiedNumeric: yes, but no naturals
+ QualifiedLists: yes, with expectation that API will be clarified by implementation

On Fri, 19 Sept 2025 at 12:41, Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:

Thanks Erik for driving us towards a conclusion

• QualifiedStrings: yes
• QualifiedNumerics: yes but precisely as for QualifiedDo and QualifiedStrings, i.e. without new magic for natural numbers.
• QualifiedLists: yes, but I'm not sure about the precise API

I have written comments on all three threads.

If you yourself have minor reservations, can you express them on the relevant GitHub threads?

Everyone: please express your views.

Simon

On Fri, 19 Sept 2025 at 01:28, Erik de Castro Lopo <erikd@mega-nerd.com> wrote:

Dear Committee,

The original Qualified Literals proposal [1] has been split into
3 separate proposals:

  * Qualfied Strings [2]
  * Qualified Numerics [3]
  * Qualified Lists [4]

Since this proposal has already been open for so long and had
so much discussion, I have recommened that the committee reaches
a decision by Oct 7.

I had a few minor reservations about Numerics and Lists, mainly about
the fact that there are still options on how they would be implemented
but have recommended all 3 are accepted.

Thanks,
Erik

[1] https://github.com/ghc-proposals/ghc-proposals/pull/698
[2] https://github.com/ghc-proposals/ghc-proposals/pull/723
[3] https://github.com/ghc-proposals/ghc-proposals/pull/724
[4] https://github.com/ghc-proposals/ghc-proposals/pull/725
--
----------------------------------------------------------------------
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

_______________________________________________
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

_______________________________________________
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