Hi Erik, Thanks for resolving these proposals. It's helpful if you can also comment on the GitHub PRs with the current status and update the labels accordingly. In particular: - Where revisions are requested we should make sure it is clear what needs to be resolved before the proposal is ready to be resubmitted. (I'm not sure if that is clear to Brandon in this case?) - Where the proposal is accepted, there are a bunch of steps to follow listed at https://github.com/ghc-proposals/ghc-proposals/blob/master/acceptance.rst (but I can take care of these, I just hadn't previously spotted that the decision had been made). Cheers, Adam On 07/10/2025 10:04, Erik de Castro Lopo wrote:
Hi all,
On the QualifiedStrings proposal I have received an accept vote from everyone except Eric Siedel so we should consdier this proposal accepted. The other two related proposals have been sent back to the proposer for revision. I have up updated the Spreadsheet as above.
Is there anything else I need to do? I have CC Brandom Chin the proposer.
Thanks, Erik
Erik de Castro Lopo wrote:
Hi all,
Trying to drive this forward.
The general consensus seems to be to accept QualifiedStrings. I would suggest that we accept this on October 7th unless someone yells before then.
There seems to be quite a few of reservations on QualifiedNumerics, with the main sticking point being the treatment of negative literals and natural numbers. I will consult with the proposer on this.
For QualifiedLists it seems we are even further from consensus. Again, I will consult with the proposer on this.
Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/
-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England