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
commit84087a5652e9f616fdf135c6d0da7ddc33d0edfc (patch)
tree9d3c1db605655be9f4357d6d258863c52d028185 /tests
parent5a6ced2cb8eb45b392c72988a834323a61a147a1 (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>