# HG changeset patch # User Adam Chlipala # Date 1322946306 18000 # Node ID f96e708b4b93ef8801acadd79a3a71e47195efb8 # Parent 218e2a9a53d05a7a34212be9048861d735ada363 Client-side strlenGe diff -r 218e2a9a53d0 -r f96e708b4b93 lib/js/urweb.js --- a/lib/js/urweb.js Sat Dec 03 15:59:21 2011 -0500 +++ b/lib/js/urweb.js Sat Dec 03 16:05:06 2011 -0500 @@ -943,6 +943,9 @@ function ssub(s, start, len) { return s.substring(start, start+len); } +function strlenGe(s, len) { + return s.length >= len; +} function trimZeroes(s) { for (var i = 0; i < s.length; ++i) diff -r 218e2a9a53d0 -r f96e708b4b93 src/settings.sml --- a/src/settings.sml Sat Dec 03 15:59:21 2011 -0500 +++ b/src/settings.sml Sat Dec 03 16:05:06 2011 -0500 @@ -248,6 +248,7 @@ ("strchr", "schr"), ("substring", "ssub"), ("strcspn", "sspn"), + ("strlenGe", "strlenGe"), ("kc", "kc"), ("minTime", "0"), diff -r 218e2a9a53d0 -r f96e708b4b93 tests/lengthGe.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/lengthGe.ur Sat Dec 03 16:05:06 2011 -0500 @@ -0,0 +1,7 @@ +fun main () : transaction page = + s <- source ""; + return + + +