summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:05:06 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:05:06 -0500
commit61da05eb589da322a312837c37c953926961faf7 (patch)
tree9d3c1db605655be9f4357d6d258863c52d028185 /tests
parent3dc530c8da0e053e92b39144488045e88f1bcc18 (diff)
Client-side strlenGe
Diffstat (limited to 'tests')
-rw-r--r--tests/lengthGe.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/lengthGe.ur b/tests/lengthGe.ur
new file mode 100644
index 00000000..2991ad87
--- /dev/null
+++ b/tests/lengthGe.ur
@@ -0,0 +1,7 @@
+fun main () : transaction page =
+ s <- source "";
+ return <xml><body>
+ <ctextbox source={s}/>
+ <dyn signal={v <- signal s;
+ return (txt (strlenGe v 3))}/>
+ </body></xml>