# HG changeset patch # User Adam Chlipala # Date 1343173790 14400 # Node ID 446e73902b09a34bf2f2c14cbf6420890f4df4b8 # Parent 3d823d8424cc0373c8931edbc8d4f9c0e38dd784 Fix JavaScript implementation of strcspn() diff -r 3d823d8424cc -r 446e73902b09 lib/js/urweb.js --- a/lib/js/urweb.js Mon Jul 23 09:03:41 2012 -0400 +++ b/lib/js/urweb.js Tue Jul 24 19:49:50 2012 -0400 @@ -1104,7 +1104,7 @@ if (chs.indexOf(s.charAt(i)) != -1) return i; - return null; + return s.length; } function schr(s, ch) { var r = s.indexOf(ch); diff -r 3d823d8424cc -r 446e73902b09 tests/strcspn.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/strcspn.ur Tue Jul 24 19:49:50 2012 -0400 @@ -0,0 +1,6 @@ +fun main () : transaction page = + s <- source ""; + return + +