Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Provide richer explanation of the unicode_strings difference. #19064

Closed
wants to merge 1 commit into from

Conversation

FGasper
Copy link
Contributor

@FGasper FGasper commented Aug 20, 2021

The output here kinda exemplifies bug #19063.

@Grinnz
Copy link
Contributor

Grinnz commented Aug 20, 2021

Heavy details are rather out of place for this document. Perhaps the section https://perldoc.perl.org/perlunicode#The-%22Unicode-Bug%22 could be enhanced with this information and the feature could be updated if it doesn't sufficiently point there?

@FGasper
Copy link
Contributor Author

FGasper commented Aug 20, 2021

Heavy details are rather out of place for this document. Perhaps the section https://perldoc.perl.org/perlunicode#The-%22Unicode-Bug%22 could be enhanced with this information and the feature could be updated if it doesn't sufficiently point there?

Ah, there’s more in that linked section than I’d realized.

I think the verbiage I was looking for—but didn’t find a bit earlier—was (something like) “this fixes a bug in Perl”.

I also think:

… unless it is clear to Perl that Unicode is desired

… leaves something to be desired in terms of accuracy, since appending wide characters isn’t the only thing that upgrades a string.

@khwilliamson
Copy link
Contributor

khwilliamson commented Aug 20, 2021 via email

@khwilliamson
Copy link
Contributor

@FGasper @Grinnz
where are we with this request

@jkeenan
Copy link
Contributor

jkeenan commented Sep 16, 2022

@FGasper @Grinnz where are we with this request

There has been no further discussion of this p.r. in the past 6 months, so I propose that we close this ticket.

@jkeenan jkeenan added Closable? We might be able to close this ticket, but we need to check with the reporter documentation labels Sep 16, 2022
@jkeenan
Copy link
Contributor

jkeenan commented Dec 29, 2022

@FGasper @Grinnz where are we with this request

There has been no further discussion of this p.r. in the past 6 months, so I propose that we close this ticket.

No further discussion in 3-1/2 months; closing.

@jkeenan jkeenan closed this Dec 29, 2022
@jkeenan jkeenan removed the Closable? We might be able to close this ticket, but we need to check with the reporter label Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants