# HG changeset patch
# User Samuel Dukhovni <dukhovni@mit.edu>
# Date 1406593123 14400
# Node ID 534577e429e1fa12d01a433d4d0df26bdd02fba7
# Parent  42ae25a354f805534a233504c754a7a7c78d8f24
Added javascript for Basis.strsindex

diff -r 42ae25a354f8 -r 534577e429e1 lib/js/urweb.js
--- a/lib/js/urweb.js	Tue Jul 29 14:46:06 2014 -0400
+++ b/lib/js/urweb.js	Mon Jul 28 20:18:43 2014 -0400
@@ -1212,6 +1212,13 @@
     else
         return r;
 }
+function ssidx(h, n) {
+    var r = h.indexOf(n);
+    if (r == -1)
+        return null;
+    else
+        return r;
+}
 function sspn(s, chs) {
     for (var i = 0; i < s.length; ++i)
         if (chs.indexOf(s.charAt(i)) != -1)
diff -r 42ae25a354f8 -r 534577e429e1 src/settings.sml
--- a/src/settings.sml	Tue Jul 29 14:46:06 2014 -0400
+++ b/src/settings.sml	Mon Jul 28 20:18:43 2014 -0400
@@ -289,6 +289,7 @@
                           ("strsuffix", "suf"),
                           ("strlen", "slen"),
                           ("strindex", "sidx"),
+                          ("strsindex", "ssidx"),
                           ("strchr", "schr"),
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),