I'm pretty sure all the calls we do only use strings delimiters to do the splitting. We could implement the library function with support for string delimiters only, and throw a TypeError exception in the regex case, for now.
- Maxime
There are uses of String.split in the source code. This uses regular expressions which are a whole can of worms. Can we replace calls to that method by something else?
Marc
Tachyon-list mailing list Tachyon-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/tachyon-list