[ghc-steering-committee] Re: Qualified *

I agree with Simon. - For QualifiedStrings, I vote accept. - For QualifiedNumerics, I left a comment https://github.com/ghc-proposals/ghc-proposals/pull/725#pullrequestreview-32... 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 https://github.com/ghc-proposals/ghc-proposals/pull/724#issuecomment-3315872... 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 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 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