连接字符串
答
String.concat "\n" [str1; str2 ... strn]
工作正常。问题是你使用'\n'
,这是一个字符文字,而不是一个字符串。例如:
# String.concat '\n' ["abc"; "123"];;
Error: This expression has type char but an expression was expected of type
string
# String.concat "\n" ["abc"; "123"];;
- : string = "abc\n123"
你会如何有'String.concat'打印 “ABC” 和 “123” 两个不同的lines'? – RichouHunter 2015-03-20 15:35:30