On Fri, 3 Oct 2025 at 07:23, Erik de Castro Lopo
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.
Hi,
For the QualifiedStrings proposal I have "accept" votes from Simon Peyton Jones, Malte Ott, Matthías Páll Gissurarson, Sebastian Graf, Erik de Castro Lopo and Moritz Angermann.
I have not seen a response from Simon Marlow, Eric Seidel, Arnaud Spiwack, Arnaud Spiwack or Jakob Brünker. I have CCed the ones I do have email addresses for, but have no address for Eric Seidel or Jakob Brünker.
yes to QualifiedStrings. Cheers Simon
I am hoping to get the voting for QualifiedStrings done by October 7th.
The other two related proposals well be sent back to the proposer for review.
Thanks, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/