在 SML/NJ 中将 \n 新行从 Char 转换为 String
Translate \n new line from Char to String in SML/NJ
我正在尝试将字符 #"\n" 转换为字符串 "\n"。我用了
Char.toString(#"\n");
它给出
val it = "\n" : string
为什么不呢return"\n"?
Char.toString 来自 documentation.
returns a printable string representation of the character, using, if
necessary, SML escape sequences.
它还指定将某些控制字符转换为双字符转义序列，\n 是其中之一。
要 return 大小为 1 的字符串，请使用 String.str。
- String.str(#"\n");
val it = "\n" : string
我正在尝试将字符 #"\n" 转换为字符串 "\n"。我用了
Char.toString(#"\n");
它给出
val it = "\n" : string
为什么不呢return"\n"?
Char.toString 来自 documentation.
returns a printable string representation of the character, using, if necessary, SML escape sequences.
它还指定将某些控制字符转换为双字符转义序列，\n 是其中之一。
要 return 大小为 1 的字符串，请使用 String.str。
- String.str(#"\n");
val it = "\n" : string