val split_on_char: char -> string -> string list