We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
https://smlfamily.github.io/Basis/char.html says Char.isCntrl c is equivalent to isAscii c andalso not (isPrint c), so the condition
Char.isCntrl c
isAscii c andalso not (isPrint c)
mlkit/basis/Char.sml
Line 63 in a312f16
should be changed to return false for non-ASCII characters.
false
The text was updated successfully, but these errors were encountered:
6d0ae0b
No branches or pull requests
https://smlfamily.github.io/Basis/char.html says
Char.isCntrl c
is equivalent toisAscii c andalso not (isPrint c)
, so the conditionmlkit/basis/Char.sml
Line 63 in a312f16
should be changed to return
false
for non-ASCII characters.The text was updated successfully, but these errors were encountered: