LGTMNitpick:[ Note: Upper- and lower-case letters are considered different for all identifiers. – end note ]Not all characters with case mapping are letters.I don't know if it matters much if we are going to use better terms in the futureOverall, I'm not sure that the note clarifies anything?--On Fri, 5 Jun 2020 at 00:15, Steve Downey via SG16 <sg16@lists.isocpp.org> wrote:Posted as Draft at https://isocpp.org/files/papers/D1949R4.html--
If there are no objections, I will update to P later this evening and post to the EWG list.
Diff:
https://github.com/steve-downey/papers/commit/a5a928b12b5664de57d5c0d8a9ca6ba4200d168b
SG16 mailing list
SG16@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/sg16
SG16 mailing list
SG16@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/sg16