String.index_from
(among others) is unsafe
#173
Labels
forwarded-to-js-devs
This report has been forwarded to Jane Street's internal review system.
This segfaults:
Most other
String.*index*
functions are broken in this way, and also by accepting indices greater than the length of the string, whereasString.{r,}index_from_exn
detect both kinds of bad inputs.The text was updated successfully, but these errors were encountered: