Unicode strings: Difference between revisions
Content added Content deleted
(Add Seed7 example) |
(Spelling correction) |
||
| Line 195: | Line 195: | ||
The Unicode encoding of Seed7 [http://seed7.sourceforge.net/manual/types.htm#char characters] and |
The Unicode encoding of Seed7 [http://seed7.sourceforge.net/manual/types.htm#char characters] and |
||
[http://seed7.sourceforge.net/manual/types.htm#string strings] is UTF-32. Seed7 source files use |
[http://seed7.sourceforge.net/manual/types.htm#string strings] is UTF-32. Seed7 source files use |
||
UTF-8 encoding. [http://seed7.sourceforge.net/manual/tokens.htm# |
UTF-8 encoding. [http://seed7.sourceforge.net/manual/tokens.htm#Character_literals Character literals] and |
||
[http://seed7.sourceforge.net/manual/tokens.htm#String_literals string literals] are |
[http://seed7.sourceforge.net/manual/tokens.htm#String_literals string literals] are |
||
therefore written with UTF-8 encoding. Unicode characters are allowed in comments, |
therefore written with UTF-8 encoding. Unicode characters are allowed in comments, |
||