LightAndLight / ipso

A functional scripting language.

Home Page:https://ipso.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

`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.

Tasks

  • Rename string.split to string.splitc - #278
  • Add string.split : String -> String -> Array String - #278
  • Update documentation - #279