`string.split` should take a `String` separator
LightAndLight opened this issue · comments
Currently string.split : Char -> String -> Array String
, but it should be string.split : String -> String -> Array String
.
Combined with #272, string.join
becomes an inverse of string.split
:
string.join sep (string.split sep x) == x
We can also create string.splitc : Char -> String -> Array String
for the single-character case.