mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
ee001d38b4
library/string.m:
Add predicate to test if a string is in UTF-8 or UTF-16,
depending on the target language.
NEWS:
Announce the addition.
tests/hard_coded/string_well_formed.exp:
tests/hard_coded/string_well_formed.m:
Add basic test case.
tests/hard_coded/string_well_formed_utf8.exp:
tests/hard_coded/string_well_formed_utf8.exp2:
tests/hard_coded/string_well_formed_utf8.exp3:
tests/hard_coded/string_well_formed_utf8.inp:
tests/hard_coded/string_well_formed_utf8.m:
Add more thorough test for UTF-8. The input file is from
https://www.cl.cam.ac.uk/~mgk25/ucs/examples/UTF-8-test.txt
tests/hard_coded/Mmakefile:
Enable the tests.
110 lines
2.1 KiB
Plaintext
110 lines
2.1 KiB
Plaintext
string encoding is UTF-8
|
|
|
|
line 65: well-formed
|
|
|
|
line 71: null character in input
|
|
|
|
line 72: well-formed
|
|
line 73: well-formed
|
|
line 74: well-formed
|
|
line 75: not well-formed
|
|
line 76: not well-formed
|
|
|
|
line 81: well-formed
|
|
line 82: well-formed
|
|
line 83: not well-formed
|
|
line 84: not well-formed
|
|
line 85: not well-formed
|
|
|
|
line 89: well-formed
|
|
line 90: well-formed
|
|
line 91: contains replacement char
|
|
line 92: well-formed
|
|
line 93: not well-formed
|
|
|
|
line 102: not well-formed
|
|
line 103: not well-formed
|
|
|
|
line 105: not well-formed
|
|
line 106: not well-formed
|
|
line 107: not well-formed
|
|
line 108: not well-formed
|
|
line 109: not well-formed
|
|
line 110: not well-formed
|
|
|
|
line 114: not well-formed
|
|
line 115: not well-formed
|
|
line 116: not well-formed
|
|
line 117: not well-formed
|
|
|
|
line 124: not well-formed
|
|
line 125: not well-formed
|
|
|
|
line 130: not well-formed
|
|
|
|
line 135: not well-formed
|
|
|
|
line 140: not well-formed
|
|
|
|
line 145: not well-formed
|
|
|
|
line 153: not well-formed
|
|
line 154: not well-formed
|
|
line 155: not well-formed
|
|
line 156: not well-formed
|
|
line 157: not well-formed
|
|
line 158: not well-formed
|
|
line 159: not well-formed
|
|
line 160: not well-formed
|
|
line 161: not well-formed
|
|
line 162: not well-formed
|
|
|
|
line 169: not well-formed
|
|
|
|
line 175: not well-formed
|
|
line 176: not well-formed
|
|
line 177: not well-formed
|
|
|
|
line 207: not well-formed
|
|
line 208: not well-formed
|
|
line 209: not well-formed
|
|
line 210: not well-formed
|
|
line 211: not well-formed
|
|
|
|
line 220: not well-formed
|
|
line 221: not well-formed
|
|
line 222: not well-formed
|
|
line 223: not well-formed
|
|
line 224: not well-formed
|
|
|
|
line 232: not well-formed
|
|
line 233: not well-formed
|
|
line 234: not well-formed
|
|
line 235: not well-formed
|
|
line 236: not well-formed
|
|
|
|
line 247: not well-formed
|
|
line 248: not well-formed
|
|
line 249: not well-formed
|
|
line 250: not well-formed
|
|
line 251: not well-formed
|
|
line 252: not well-formed
|
|
line 253: not well-formed
|
|
|
|
line 257: not well-formed
|
|
line 258: not well-formed
|
|
line 259: not well-formed
|
|
line 260: not well-formed
|
|
line 261: not well-formed
|
|
line 262: not well-formed
|
|
line 263: not well-formed
|
|
line 264: not well-formed
|
|
|
|
line 288: well-formed
|
|
line 289: well-formed
|
|
|
|
line 293: well-formed
|
|
|
|
line 297: well-formed
|
|
line 298: well-formed
|