30 Sep
2025
30 Sep
'25
6:38 a.m.
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/