On Fri, 3 Oct 2025 at 07:23, Erik de Castro Lopo <erikd@mega-nerd.com> wrote:
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/